ci: rename default branch from master to main

This commit is contained in:
zimbatm
2025-12-02 16:41:38 +01:00
parent 87459791ee
commit 10b83cdcf1
5 changed files with 7 additions and 7 deletions

View File

@@ -25,8 +25,8 @@ banner() {
cd "$(dirname "$0")"
if [[ $(git rev-parse --abbrev-ref HEAD) != master ]]; then
banner "Skipping push on non-master branch"
if [[ $(git rev-parse --abbrev-ref HEAD) != main ]]; then
banner "Skipping push on non-main branch"
exit
fi