Merge branch 'tor-github/pr/1220'

2024-12-06 19:41:15 +01:00 · 2019-08-19 18:02:44 +03:00
parent c214402a56 71e5af0221
commit e411fcabd7
3 changed files with 14 additions and 5 deletions
@@ -0,0 +1,5 @@
+  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.
+      Closes ticket 30979.