Add docu sync for releases

2025-09-27 12:52:25 +08:00 · 2023-07-09 18:11:23 +02:00
1 changed files with 1 additions and 0 deletions
--- a/.github/scripts/sync_docs.sh
+++ b/.github/scripts/sync_docs.sh
@@ -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}