Adjust documentation push for master -> main

EarthScope · Dec 4, 2022 · 1c83bbe · 1c83bbe
1 parent bad6336
commit 1c83bbe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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