gitlint: ignore titles prefixed with Revert
The revert commit title is usually prefixed with "Revert" which causes
the title to become longer than the allowed limit. Allow such commits to
keep revert commits consistent with the original commit message.
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
diff --git a/.gitlint b/.gitlint
index fa44ba9..371355f 100644
--- a/.gitlint
+++ b/.gitlint
@@ -1,6 +1,6 @@
# All these sections are optional, edit this file as you like.
[general]
-ignore=title-trailing-punctuation, T3
+ignore=title-trailing-punctuation, T3, title-max-length, T1
# verbosity should be a value between 1 and 3, the commandline -v flags take precedence over this
verbosity = 3
# By default gitlint will ignore merge commits. Set to 'false' to disable.
@@ -12,13 +12,12 @@
# See http://jorisroovers.github.io/gitlint/user_defined_rules for details
extra-path=scripts/gitlint
+[title-max-length-no-revert]
+line-length=72
[body-max-line-count]
max-line-count=200
-[title-max-length]
-line-length=72
-
[title-starts-with-subsystem]
regex = ^(([^:]+):)(\s([^:]+):)*\s(.+)$
