gitlint: do not complain about hard tabs in body

Was enabled by default in gitlint, nothing really bad about tabs,
especially when copy-pasting into commit messages.

Fixes #5453

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2017-12-22 16:52:44 -05:00 committed by Anas Nashif
parent aa765005e8
commit ad405a08c2

View file

@ -1,6 +1,6 @@
# All these sections are optional, edit this file as you like.
[general]
ignore=title-trailing-punctuation, T3, title-max-length, T1
ignore=title-trailing-punctuation, T3, title-max-length, T1, body-hard-tab, B3
# 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.