diff options
| author | Nick Mathewson <nickm@torproject.org> | 2015-02-19 09:54:09 -0500 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2015-02-19 09:54:09 -0500 |
| commit | 94a877381de43d4042f1e151747457278070ad1e (patch) | |
| tree | ebc6fe702bc297e550994d1c0b271cb4248e4991 | |
| parent | 61f9030409143efff07b3a9b6d12dbc05ad36587 (diff) | |
| download | tor-94a877381de43d4042f1e151747457278070ad1e.tar.gz tor-94a877381de43d4042f1e151747457278070ad1e.zip | |
Check for # characters in lintchanges
| -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): |