Add HTML push to publish-html

This commit is contained in:
Caspar Jungbacker 2023-04-17 18:28:12 +02:00
parent 10d12023ec
commit ee1088c088

View file

@ -41,3 +41,6 @@ push-html:
- git checkout publish-html
script:
- rsync -av --delete book/_build/html/* ./.
- git add --all -- ':!book/*' ':!.cache/*'
- git commit -m "$CI_COMMIT_MESSAGE"
- git push https://gitlab-ci-token:$ACCESS_TOKEN@gitlab.tudelft.nl/$CI_PROJECT_PATH.git origin publish-html