* 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>
aaaaalbert