Call practracker from pre-push and pre-commit hooks

2024-12-06 19:41:15 +01:00 · 2019-04-19 09:46:36 +03:00
parent 4b8c77a590
commit a85cd5b41b
2 changed files with 10 additions and 0 deletions
@@ -34,6 +34,12 @@ if [ -x "$workdir/.git/hooks/pre-commit" ]; then
  fi
 fi

+if [ -e scripts/maint/practracker/practracker.py ]; then
+  if ! python3 ./scripts/maint/practracker/practracker.py "$workdir"; then
+    exit 1
+  fi
+fi
+
 # shellcheck disable=SC2034
 while read -r local_ref local_sha remote_ref remote_sha
 do