Prevent local git client from getting out of sync

anttiharju · Sep 2, 2024 · 0aac394 · 0aac394
1 parent 5289fbd
commit 0aac394
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.githooks/pre-push b/.githooks/pre-push
@@ -4,3 +4,10 @@ set -eu
 ./scripts/g-docs/commit.sh "
 
 via .githooks/pre-push"
+
+# Without the below, local git client will think it's 1 commit ahead of origin after push
+# if the docs were updated by the GitHub Actions bot via this hook.
+if [ "$(git log -1 --pretty=format:"%cn")" = "github-actions[bot]" ]; then
+	git push
+	git pull
+fi