scripts/git: Remove a duplicate practracker call from the pre-push hook

The pre-push hook already calls the pre-commit hook, which calls
practracker.

Also update the script comments to avoid similar issues in future.

Fixes bug 31462; bugfix on 0.4.1.1-alpha.
This commit is contained in:
teor
2019-08-20 12:21:02 +10:00
parent 36a27fa2d3
commit bdcccb9776
4 changed files with 29 additions and 17 deletions
+4
View File
@@ -0,0 +1,4 @@
o Minor bugfixes (git hooks):
- Remove a duplicate call to practracker from the pre-push hook.
The pre-push hook already calls the pre-commit hook, which calls
practracker. Fixes bug 31462; bugfix on 0.4.1.1-alpha.
+5 -3
View File
@@ -1,5 +1,7 @@
o Minor features (git hooks):
- Our pre-push git hook now checks for a special file
before running practracker, so that it only runs on branches
that are based on master.
- Our pre-commit git hook now checks for a special file
before running practracker, so that practracker only runs on branches
that are based on master. Since the pre-push hook calls the pre-commit
hook, practracker will also only run before pushes of branches based
on master.
Closes ticket 30979.