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>
This commit is contained in:
aaaaalbert 2024-01-02 10:45:25 +00:00 committed by GitHub
parent ec5ea76a44
commit 5222920fe6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 4 additions and 17 deletions

View file

@ -3,7 +3,7 @@ name: Deploy on Github Pages
on:
push:
branches:
- master
- main
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch: