aaaaalbert 5222920fe6 Rename default branch to main (#1373) ... * Remove GitLab CI configuration As noted by @renchap, "We do not rely on Gitlab CI anymore, this can be dropped." https://github.com/mastodon/documentation/issues/1357#issuecomment-1851642299 * Fix #1357, Use new default branch name "main" This requires changes in * the GitHub Pages deployment config * a few HTML page templates, where the default branch name is included in links to the repo (stylized as "Improve this page" in the English version of the live docs webpage) --------- Co-authored-by: albert <albert.rafetseder+gitlab@univie.ac.at>		2024-01-02 11:45:25 +01:00
..
deploy.yml	Rename default branch to main (#1373)	2024-01-02 11:45:25 +01:00
rebase-needed.yml	add rebase workflow (#1347)	2023-11-29 10:49:16 +01:00