Commit b0459de2 authored by Nick Mathewson's avatar Nick Mathewson 🤹
Browse files

Merge branch 'ticket30051_take2_squashed'

parents a7599c5b 0c78811c

changes/ticket30051

0 → 100644
+5 −0
Original line number Diff line number Diff line 
  o Minor features (developer tooling):

    - Call practracker from pre-push and pre-commit git hooks to let a

      developer know if they made any code style violations in their last

      commit. This should help preventing code style violations appearing

      upstream. Closes ticket 30051.

scripts/git/pre-commit.git-hook

+4 −0
Original line number Diff line number Diff line
@@ -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

scripts/git/pre-push.git-hook

+6 −0
Original line number Diff line number Diff line
@@ -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