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