changing branch name

phalcon · Dec 17, 2023 · d1b6a65 · d1b6a65
1 parent 0b62994
commit d1b6a65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-documents.yml b/.github/workflows/deploy-documents.yml
@@ -64,7 +64,7 @@ jobs:
           # we let @phalconbot own these commits.
           git config user.name niden
           git config user.email nikos@niden.net
-          git fetch --no-tags --prune --depth=1 origin +refs/heads/production:refs/remotes/origin/production
+          git fetch --no-tags --prune --depth=1 origin +refs/heads/gh-pages:refs/remotes/origin/gh-pages
           mike deploy \
             --update-aliases \
             --push \