Check for # characters in lintchanges

diff --git a/scripts/maint/lintChanges.py b/scripts/maint/lintChanges.py
index fcadc5e5058a10914592f429fc82df1e92203ef7..69963aea282d6644c7bf57540d83b7d7604237dd 100755 (executable)
--- 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):