Browse Source

Check for # characters in lintchanges

Nick Mathewson 9 years ago
parent
commit
94a877381d
1 changed files with 3 additions and 0 deletions
  1. 3 0
      scripts/maint/lintChanges.py

+ 3 - 0
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):