From 9298749088afc1f31e7f9ad9afade69e5033ffc4 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Tue, 17 Oct 2017 13:58:21 -0400 Subject: [PATCH] Add dirauth changes as a lintchanges category --- scripts/maint/lintChanges.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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",