lint: Setup gitlint.
Setup gitlint for developers to write well formatted commit messages. Note: .gitlint, gitlint-rules.py and lint-commits are taken directly from zulip/zulip with minor changes.
This commit is contained in:
parent
f8cd424495
commit
cce18ed11b
5 changed files with 193 additions and 0 deletions
15
.gitlint
Normal file
15
.gitlint
Normal file
|
@ -0,0 +1,15 @@
|
|||
# This file is copied from the original .gitlint at zulip/zulip.
|
||||
# Please don't edit here; instead update the zulip/zulip copy and then resync this file.
|
||||
|
||||
[general]
|
||||
ignore=title-trailing-punctuation, body-min-length, body-is-missing
|
||||
extra-path=tools/gitlint-rules.py
|
||||
|
||||
[title-match-regex]
|
||||
regex=^(.+:\ )?[A-Z].+\.$
|
||||
|
||||
[title-max-length]
|
||||
line-length=76
|
||||
|
||||
[body-max-line-length]
|
||||
line-length=76
|
Loading…
Add table
Add a link
Reference in a new issue