mirror of https://github.com/zulip/zulip.git
lint: Rename lint-commits to keep tab-complete fast.
This commit is contained in:
parent
ec8e47192a
commit
1883bff243
|
@ -691,7 +691,7 @@ def run():
|
||||||
external_linter('urls', ['tools/check-urls'])
|
external_linter('urls', ['tools/check-urls'])
|
||||||
|
|
||||||
if not options.no_gitlint:
|
if not options.no_gitlint:
|
||||||
external_linter('commit_messages', ['tools/lint-commits'])
|
external_linter('commit_messages', ['tools/commit-message-lint'])
|
||||||
|
|
||||||
@lint
|
@lint
|
||||||
def custom_py():
|
def custom_py():
|
||||||
|
|
Loading…
Reference in New Issue