From 420f129d2e7d4ea881d03711477f984f248a3615 Mon Sep 17 00:00:00 2001
From: Nicolas Dufresne <nicolas.dufresne@collabora.com>
Date: Mon, 17 Jul 2023 14:51:13 -0400
Subject: [PATCH] gitlint: Add an exception for GDB backtraces

This way the lint won't complain about oversized lines inside GDB backtraces.
It will patch the initial " #<number>" pattern along with the terminating
":<line>".

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/5049>
---
 .gitlint | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitlint b/.gitlint
index 4dc7e7bbe2..3eaf1a3727 100644
--- a/.gitlint
+++ b/.gitlint
@@ -14,3 +14,7 @@ min-length=10
 # Ensure every title starts with a prefix
 [title-match-regex]
 regex=^[\w]+[\w, -\\/]*[\w]+: .*
+
+# Ignore GDB backtraces
+[ignore-body-lines]
+regex=^ \#\d(.*):\d+$
\ No newline at end of file