chore(gitlint): ignore title length for bot made commits

For long action ids such as `google-github-actions/release-please-action`, they end up quite long. As of gitlint 0.19.1 it seems ignores are not additive, so `body-is-missing` needs to be duplicated here.
scop · Feb 4, 2024 · b631277 · b631277
1 parent 057ebd5
commit b631277
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitlint b/.gitlint
@@ -7,3 +7,7 @@ regex-style-search = true
 
 [ignore-body-lines]
 regex = ^(Co-authored-by:|((Refs|See|[*-]) )?https?://)
+
+[ignore-by-author-name]
+regex = \[bot\]
+ignore = body-is-missing,title-max-length