From ef4f9d02402cc125f39b24ed37ced9d575a12a86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim-Philipp=20M=C3=BCller?= Date: Mon, 5 Feb 2024 09:12:41 +0100 Subject: [PATCH] gitlint: allow Release commits without prefix --- .gitlint | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitlint b/.gitlint index 3eaf1a3727..dff7230d04 100644 --- a/.gitlint +++ b/.gitlint @@ -17,4 +17,7 @@ regex=^[\w]+[\w, -\\/]*[\w]+: .* # Ignore GDB backtraces [ignore-body-lines] -regex=^ \#\d(.*):\d+$ \ No newline at end of file +regex=^ \#\d(.*):\d+$ + +[ignore-by-title] +regex=^Release(.*)