diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/lintChanges.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/maint/lintChanges.py b/scripts/maint/lintChanges.py index fcadc5e505..69963aea28 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): |