Fix docs-push-gh-pages

reo7sp · Nov 1, 2022 · 9cb2e9c · 9cb2e9c
1 parent 4c7717c
commit 9cb2e9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/docs-push-gh-pages b/tools/docs-push-gh-pages
@@ -3,7 +3,7 @@ set -e
 
 ./docs-generate
 cd ..
-git checkout gh-pages
+git checkout --track origin/gh-pages
 find . -maxdepth 1 -not -name "docs" -not -name ".git" -not -name "tools" -print0 | xargs -0 rm -r || true
 mv docs/* .
 mv docs/.nojekyll .