Rename the master branch to main

It’s a more inclusive name, has the same tab-completion prefix, and is
the default choice for new repositories created locally by git, and on
GitHub and GitLab.

https://sfconservancy.org/news/2020/jun/23/gitbranchname/

Signed-off-by: Philip Withnall <pwithnall@endlessos.org>

Fixes: #2348
This commit is contained in:
Philip Withnall
2021-06-07 13:18:19 +01:00
parent 1a43d950b4
commit 24e459e3d8
4 changed files with 7 additions and 7 deletions

View File

@@ -513,7 +513,7 @@ coverity:
pages:
stage: deploy
only:
- master
- main
needs: ['coverage', 'style-check-diff']
script:
- mv _coverage/ public/