Call practracker from pre-push and pre-commit hooks

diff --git a/scripts/git/pre-commit.git-hook b/scripts/git/pre-commit.git-hook
index 65fa99f4c4e55411049973601b36b8f09720272c..76d13adeb939115f1a070a8c398c811276925865 100755 (executable)
--- a/scripts/git/pre-commit.git-hook
+++ b/scripts/git/pre-commit.git-hook
@@ -39,3 +39,7 @@ fi
 if test -e scripts/maint/checkIncludes.py; then
     python scripts/maint/checkIncludes.py
 fi
+
+if [ -e scripts/maint/practracker/practracker.py ]; then
+  python3 ./scripts/maint/practracker/practracker.py "$workdir"
+fi

diff --git a/scripts/git/pre-push.git-hook b/scripts/git/pre-push.git-hook
index f3298293463e88bd06d904afa084eb01466cced7..740180d6f6a7c64fcd8942b351d9b579ac1ed35c 100755 (executable)
--- a/scripts/git/pre-push.git-hook
+++ b/scripts/git/pre-push.git-hook
@@ -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