Update Docs.yml

This commit is contained in:
tobid7 2021-07-23 16:37:00 +02:00 committed by GitHub
parent db89d5c60f
commit adf783c2a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -30,6 +30,7 @@ jobs:
git stage * git stage *
echo staged echo staged
git commit -m "Documentation" git commit -m "Documentation"
git tag doc
echo commited echo commited
git subtree push --prefix doc origin gh-pages git subtree push --prefix doc origin gh-pages
echo pushed echo pushed