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>
This commit is contained in:
parent
ee0c882601
commit
420f129d2e
4
.gitlint
4
.gitlint
@ -14,3 +14,7 @@ min-length=10
|
|||||||
# Ensure every title starts with a prefix
|
# Ensure every title starts with a prefix
|
||||||
[title-match-regex]
|
[title-match-regex]
|
||||||
regex=^[\w]+[\w, -\\/]*[\w]+: .*
|
regex=^[\w]+[\w, -\\/]*[\w]+: .*
|
||||||
|
|
||||||
|
# Ignore GDB backtraces
|
||||||
|
[ignore-body-lines]
|
||||||
|
regex=^ \#\d(.*):\d+$
|
Loading…
x
Reference in New Issue
Block a user