lint: Remove custom --no-gitlint option.
zulint already has --skip for this.
MODIFY
tools/lint
tools/lint
@@ -15,7 +15,6 @@ EXCLUDED_FILES = [
def run() -> None:
parser = argparse.ArgumentParser()
add_default_linter_arguments(parser)
- parser.add_argument('--no-gitlint', action='store_true', help='Disable gitlint')
args = parser.parse_args()
linter_config = LinterConfig(args)
@@ -27,8 +26,6 @@ def run() -> None:
description="Static type checker for Python (config: mypy.ini)")
linter_config.external_linter('flake8', ['flake8'], ['py'],
description="Standard Python linter (config: .flake8)")
-
- if not args.no_gitlint:
linter_config.external_linter('gitlint', ['tools/lint-commits'],
description="Git Lint for commit messages")

MODIFY
tools/test-static-analysis
tools/test-static-analysis
set -ev
-tools/lint --no-gitlint
+tools/lint --skip=gitlint
tools/run-mypy

lint: Remove custom --no-gitlint option.

zulint already has --skip for this.

Signed-off-by: Anders Kaseorg <anders@zulip.com>