From 610ce9c4f12734876fb3bc64f877b4e100fed3c1 Mon Sep 17 00:00:00 2001
From: Simon Bruder <simon.bruder@mailbox.tu-dresden.de>
Date: Thu, 16 Nov 2023 10:18:35 +0100
Subject: [PATCH] Do not enforce minimum body length in gitlint
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This would disallow bodies like “Fixes #1”.
---
 .gitlint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlint b/.gitlint
index 203a36e..5cf32f6 100644
--- a/.gitlint
+++ b/.gitlint
@@ -1,7 +1,7 @@
 [general]
 regex-style-search=true
 contrib=contrib-allowed-authors
-ignore=body-is-missing
+ignore=body-is-missing,body-min-length
 
 # While they should be ≤72, 80 is the limit
 [title-max-length]