From ad405a08c243d3d28023d2aa0ac405a407a0a9c4 Mon Sep 17 00:00:00 2001
From: Anas Nashif <anas.nashif@intel.com>
Date: Fri, 22 Dec 2017 16:52:44 -0500
Subject: [PATCH] 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>
---
 .gitlint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlint b/.gitlint
index cadaca88f28..1d83a796af0 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, 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.