diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/check-patches | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/check-patches b/contrib/check-patches index e175b32c..6ae20efb 100755 --- a/contrib/check-patches +++ b/contrib/check-patches @@ -50,7 +50,7 @@ for rev in $revisions; do err "title is longer than 72 characters, please make it shorter" fi - if ! echo "$title" | grep -q '^[a-z0-9,{}/_-]\+: '; then + if ! echo "$title" | grep -qE '^[a-z0-9,{}/_-]+: '; then err "title lacks a topic prefix (e.g. 'imap:')" fi @@ -67,8 +67,8 @@ for rev in $revisions; do done if git log --format="%(trailers:only,unfold)" -1 "$rev" | \ - grep -v '^Changelog-[a-z]\+: [A-Z`\*_].\+\.$' | \ - grep -q '^Changelog-[a-z]\+: '; then + grep -vE '^Changelog-[a-z]+: [A-Z`\*_].+\.$' | \ + grep -qE '^Changelog-[a-z]+: '; then err "Changelog-* trailers should start with a capital letter and end with a period" fi |