Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

linter: Re-enable gitlint.

This commit is contained in:
Tommy Ip 2017-12-16 10:15:44 +00:00 committed by showell
parent 3cfb2d57b2
commit 7243a91e47
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitlint
View File

@ -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=^.+\.$

6
tools/lint
View File

@ -167,9 +167,9 @@ def run():
external_linter('urls', ['tools/check-urls'], ['py'])
external_linter('swagger', ['node', 'tools/check-swagger'], ['yaml'])
# gitlint disabled until we can stabilize it more
# if not args.no_gitlint:
# external_linter('commit_messages', ['tools/commit-message-lint'])
# Disabled check for imperative mood until it is stabilized
if not args.no_gitlint:
external_linter('commit_messages', ['tools/commit-message-lint'])
@lint
def custom_py():