From a8537ad0964f2490c658f484fcec6c9d2f257d7b Mon Sep 17 00:00:00 2001
From: Idan Horowitz <idan.horowitz@gmail.com>
Date: Tue, 11 Jan 2022 23:31:08 +0200
Subject: CI: Require a blank line between commit titles and bodies

---
 Meta/lint-commit.sh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Meta/lint-commit.sh')

diff --git a/Meta/lint-commit.sh b/Meta/lint-commit.sh
index 293220da7a..d6e0887403 100755
--- a/Meta/lint-commit.sh
+++ b/Meta/lint-commit.sh
@@ -30,6 +30,10 @@ while read -r line; do
   ((line_number += 1))
   line_length=${#line}
 
+  if [[ $line_number -eq 2 ]] && [[ $line_length -ne 0 ]]; then
+    error "Empty line between commit title and body is missing"
+  fi
+
   category_pattern="^\S.*?\S: .+"
   if [[ $line_number -eq 1 ]] && (echo "$line" | grep -E -v -q "$category_pattern"); then
     error "Missing category in commit title (if this is a fix up of a previous commit, it should be squashed)"
-- 
cgit v1.2.3