Skip to content

Commit

Permalink
.github: ensure gh-pages branch is fetched before sync
Browse files Browse the repository at this point in the history
Signed-off-by: James Knight <james.d.knight@live.com>
  • Loading branch information
jdknight committed Feb 19, 2024
1 parent 9d21211 commit 84350f0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ jobs:
cd Documentation
echo "synchronizing new content..."
git fetch origin gh-pages
git worktree add gh-pages gh-pages
rsync -av --delete --exclude '.git' --exclude '.doctrees' \
_build/html/ gh-pages/
Expand All @@ -49,6 +50,7 @@ jobs:
echo "adjusting url..."
git remote set-url --push origin \
https://jdknight:$GITHUB_TOKEN@github.com/jdknight/sphinx-alice-theme
echo "pushing new content..."
git push origin gh-pages
echo "done"
Expand Down

0 comments on commit 84350f0

Please sign in to comment.