gitlint: allow Release commits without prefix

2024-05-19 08:48:27 +00:00 · 2024-02-05 09:12:41 +01:00 · 2024-02-05 09:12:41 +01:00 · ef4f9d0240
parent 4822c9a1e2
commit ef4f9d0240
1 changed files with 4 additions and 1 deletions
--- a/.gitlint
+++ b/.gitlint
@ -17,4 +17,7 @@ regex=^[\w]+[\w, -\\/]*[\w]+: .*

 # Ignore GDB backtraces
 [ignore-body-lines]
-regex=^ \#\d(.*):\d+$
+regex=^ \#\d(.*):\d+$
+
+[ignore-by-title]
+regex=^Release(.*)