Merge remote-tracking branch 'tor-github/pr/1823/head' into maint-0.4.3

e380396d · Nick Mathewson · d4a74021 · bb3df5f3 · e380396d · d4a74021
Commit e380396d authored Mar 20, 2020 by Nick Mathewson 🐛
--- a/changes/ticket33678_043
+++ b/changes/ticket33678_043
+  o Code simplification and refactoring:
+    - Disable our coding standards best practices tracker in our git hooks.
+      (0.4.3 branches only.) Closes ticket 33678.
--- a/scripts/maint/practracker/.enable_practracker_in_hooks
+++ b/scripts/maint/practracker/.enable_practracker_in_hooks
-This file is present to tell our git hooks to run practracker on this branch.