Add docu sync for releases

This commit is contained in:
René Werner
2023-07-09 18:11:23 +02:00
parent 60220b5b83
commit 56a4cbfc19

View File

@@ -60,4 +60,5 @@ if [[ $EVENT == "push" ]]; then
elif [[ $EVENT == "release" ]]; then
git commit -m "Sync docs for release ${COMMIT_URL}/releases/tag/${TAG_NAME}"
fi
git pull
git push https://${TOKEN}@${REPO_URL}