Try to fix doc deployment
https://github.com/harfbuzz/harfbuzz.github.io/issues/4
From CI logs at https://github.com/harfbuzz/harfbuzz/runs/2758234200:
+ git init
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
We want the branch too be main not master.
diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index a8efb2a..b644dfe 100755
--- a/.ci/deploy-docs.sh
+++ b/.ci/deploy-docs.sh
@@ -16,6 +16,7 @@
#cp ../build/docs/CNAME .
git init
+git branch -m main
git config user.name "Travis CI"
git config user.email "travis@harfbuzz.org"
set +x
