docs: update deployment branches

This commit is contained in:
Casper da Costa-Luis 2021-09-09 00:39:51 +01:00
parent a38d82c64f
commit 1f325a251d
No known key found for this signature in database
GPG Key ID: F5126E5FBD2512AD
1 changed files with 3 additions and 4 deletions

View File

@ -18,7 +18,6 @@ jobs:
with:
repository: ${{ github.repository }}.github.io
path: docs
ref: src
token: ${{ secrets.GH_TOKEN }}
- uses: actions/setup-python@v2
with:
@ -42,9 +41,9 @@ jobs:
- name: Update Docs
run: |
pushd docs
git fetch --depth=1 origin master:master
git checkout master
git push --set-upstream origin master
git fetch --depth=1 origin gh-pages:gh-pages
git checkout gh-pages
git push --set-upstream origin gh-pages
git checkout -
make deploy
popd