gitlint-rules: Rename to gitlint_rules.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-03-03 17:18:26 -08:00 · 2023-03-03 17:18:26 -08:00 · 821584b8fc
parent 43b4f10578
commit 821584b8fc
2 changed files with 1 additions and 1 deletions
--- a/.gitlint
+++ b/.gitlint
@ -1,7 +1,7 @@
 [general]
 ignore=title-trailing-punctuation, body-min-length, body-is-missing

-extra-path=tools/lib/gitlint-rules.py
+extra-path=tools/lib/gitlint_rules.py

 [title-match-regex]
 regex=^(.+:\ )?[A-Z].+\.$
--- a/tools/lib/gitlint_rules.py
+++ b/tools/lib/gitlint_rules.py