Anders Kaseorg d35b5027bb semgrep: Upgrade semgrep to 0.17.0. ...

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

2020-07-30 15:12:22 -07:00

..

__init__.py

…

capitalization.py

lint: Add DevAuthBackend to capitalized strings.

2020-07-21 13:23:58 -07:00

git-tools.bash

tools: Give require_clean_work_tree our nice UI touches.

2020-04-06 17:52:10 -07:00

gitlint-rules.py

python: Sort imports with isort.

2020-06-11 16:45:32 -07:00

html_branches.py

html_branches: Fix strict_optional errors.

2020-07-06 11:25:48 -07:00

pretty_print.py

python: Manually convert more percent-formatting to f-strings.

2020-06-14 23:27:22 -07:00

provision_inner.py

provision: Don't run migrations on zulip db in CircleCI.

2020-06-16 15:37:32 +05:30

provision.py

semgrep: Upgrade semgrep to 0.17.0.

2020-07-30 15:12:22 -07:00

sanity_check.py

python: Sort imports with isort.

2020-06-11 16:45:32 -07:00

template_parser.py

python: Convert more percent formatting to Python 3.6 f-strings.

2020-06-14 23:27:22 -07:00

test_script.py

python: Convert more percent formatting to "".format.

2020-07-13 13:16:38 -07:00

test_server.py

test_server: Double the timeout amount to avoid flakes.

2020-06-22 12:30:32 -07:00