diff options
author | Joris Roovers <jroovers@cisco.com> | 2015-09-25 10:11:16 +0200 |
---|---|---|
committer | Joris Roovers <jroovers@cisco.com> | 2015-09-25 10:11:16 +0200 |
commit | 83db6248f0c2907a2adc7782060e98fb403f4ded (patch) | |
tree | 743fafbfa302c039186c0b27ef7f09a42f325180 /examples | |
parent | b6b32b9b93583fac00b433f8b3ea46244ef442e8 (diff) |
ignore-merge-commit option for body-is-missing rule
This new option allows users to choose whether the body-is-missing rule
should be ignored for merge commits.
This commit also adds the BoolOption class which was required to add
this new boolean option.
Diffstat (limited to 'examples')
-rw-r--r-- | examples/gitlint | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/gitlint b/examples/gitlint index 8738cc6..230dfb8 100644 --- a/examples/gitlint +++ b/examples/gitlint @@ -27,6 +27,11 @@ line-length=30 [body-min-length] min-length=5 +[body-is-missing] +# Whether to ignore this rule on merge commits (which typically only have a title) +# default = True +ignore-merge-commits=false + [body-changed-file-mention] # List of files that need to be explicitly mentioned in the body when they are changed # This is useful for when developers often erroneously edit certain files or git submodules. |