Update Docs.yml

This commit is contained in:
2021-07-24 10:15:39 +02:00
committed by GitHub
parent 22ae99f915
commit cbbc4d54d9

View File

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