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.py	semgrep: Upgrade semgrep to 0.17.0.	2020-07-30 15:12:22 -07:00
provision_inner.py	provision: Don't run migrations on `zulip` db in CircleCI.	2020-06-16 15:37:32 +05:30
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