diff options
author | Nick Mathewson <nickm@torproject.org> | 2017-10-17 13:58:21 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2017-10-17 13:58:21 -0400 |
commit | 9298749088afc1f31e7f9ad9afade69e5033ffc4 (patch) | |
tree | 48b9c861fa3b779a454997e9b554099beaeb11b7 | |
parent | 22139c0b285e32639b35d671bef12277d3441791 (diff) | |
download | tor-9298749088afc1f31e7f9ad9afade69e5033ffc4.tar.gz tor-9298749088afc1f31e7f9ad9afade69e5033ffc4.zip |
Add dirauth changes as a lintchanges category
-rwxr-xr-x | scripts/maint/lintChanges.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/maint/lintChanges.py b/scripts/maint/lintChanges.py index b418065ffb..c2dda6dc81 100755 --- a/scripts/maint/lintChanges.py +++ b/scripts/maint/lintChanges.py @@ -21,7 +21,8 @@ KNOWN_GROUPS = set([ "Documentation", "Code simplification and refactoring", "Removed features", - "Deprecated features"]) + "Deprecated features", + "Directory authority changes"]) NEEDS_SUBCATEGORIES = set([ "Minor bugfix", |