Merge branch 'tor-github/pr/1177'

This commit is contained in:
David Goulet
2019-08-01 10:18:10 -04:00
17 changed files with 331 additions and 80 deletions
+4
View File
@@ -0,0 +1,4 @@
o Minor bugfixes (best practices tracker):
- Fix a few issues in the best-practices script, including tests, tab
tolerance, error reporting, and directory-exclusion logic. Fixes bug
29746; bugfix on 0.4.1.1-alpha.
+6
View File
@@ -0,0 +1,6 @@
o Minor features (best practices tracker):
- Give a warning rather than an error when a practracker exception is
violated by a small amount; add a --list-overbroad option to
practracker that lists exceptions that are stricter than they need to
be, and provide an environment variable for disabling
practracker. Closes ticekt 30752.