diff --git a/doc/build-push-docs.sh b/doc/build-push-docs.sh
index a451813..b2d9820 100755
--- a/doc/build-push-docs.sh
+++ b/doc/build-push-docs.sh
@@ -97,4 +97,4 @@ git commit -m 'committing documentation'
 git remote add origin $GITREMOTE
 
 echo "Pushing contents of $BASEDIR/$DOCDIR to $GITREMOTE branch gh-pages"
-git push --quiet --force origin master:gh-pages
+git push --quiet --force origin main:gh-pages