From d1b6a65085def4dc3fa0722aaa7b7fd3f36036e1 Mon Sep 17 00:00:00 2001 From: Nikolaos Dimopoulos Date: Sat, 16 Dec 2023 20:29:51 -0600 Subject: [PATCH] changing branch name --- .github/workflows/deploy-documents.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy-documents.yml b/.github/workflows/deploy-documents.yml index a7923a7a9..8d3357e52 100644 --- 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 \