From 94a877381de43d4042f1e151747457278070ad1e Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Thu, 19 Feb 2015 09:54:09 -0500 Subject: [PATCH] Check for # characters in lintchanges --- scripts/maint/lintChanges.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/maint/lintChanges.py b/scripts/maint/lintChanges.py index fcadc5e50..69963aea2 100755 --- a/scripts/maint/lintChanges.py +++ b/scripts/maint/lintChanges.py @@ -33,6 +33,9 @@ def lintfile(fname): contents = " ".join(contents.split()) + if re.search(r'\#\d{2,}', contents): + warn("don't use a # before ticket numbers") + if isBug and not re.search(r'(\d+)', contents): warn("bugfix does not mention a number") elif isBug and not re.search(r'Fixes ([a-z ]*)bug (\d+)', contents):