Anders Kaseorg 8a03f8a070 html_branches: Fix strict_optional errors. ... Signed-off-by: Anders Kaseorg <anders@zulip.com>		2020-07-06 11:25:48 -07:00
..
__init__.py	…
capitalization.py	i18n: Mark notification bot message in notify_new_user for translation.	2020-06-26 14:57:16 -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	provision: Include check for GitHub Action along with CircleCI.	2020-06-29 16:31:43 -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: Sort imports with isort.	2020-06-11 16:45:32 -07:00
test_server.py	test_server: Double the timeout amount to avoid flakes.	2020-06-22 12:30:32 -07:00