Skip to content

Commit

Permalink
gitlint: Add an exception for GDB backtraces
Browse files Browse the repository at this point in the history
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>
  • Loading branch information
ndufresne committed Jul 17, 2023
1 parent ee0c882 commit 420f129
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .gitlint
Original file line number Diff line number Diff line change
Expand Up @@ -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+$

0 comments on commit 420f129

Please sign in to comment.