Mateusz Mandera c5c3ab66d6 remote_server: Migrate RemoteZulipServer.uuid to be UUIDField. ... Given that these values are uuids, it's better to use UUIDField which is meant for exactly that, rather than an arbitrary CharField. This requires modifying some tests to use valid uuids.		2021-12-28 10:11:34 -08:00
..
__init__.py	Extract tools/lib/template_parser.py.	2016-08-01 16:27:50 -07:00
capitalization.py	remote_server: Migrate RemoteZulipServer.uuid to be UUIDField.	2021-12-28 10:11:34 -08:00
git-tools.bash	lint: Add .bash extension for tools/lib/git-tools.bash.	2021-06-25 09:01:13 -07:00
gitlint-rules.py	gitlint-rules: Remove convoluted binary search for imperative forms.	2021-03-22 18:08:01 -07:00
html_branches.py	dead code: Kill off most of html_branches.	2021-12-02 09:49:10 -08:00
pretty_print.py	tools: Document indentation policy.	2021-12-06 15:01:29 -08:00
provision_inner.py	mypy: Add types-Pygments.	2021-08-02 22:31:46 -07:00
provision.py	requirements: Install Gitlint from PyPI again.	2021-11-29 13:35:58 -08:00
sanity_check.py	sanity_check: Improve output for manual installation.	2021-04-01 10:54:56 -07:00
template_parser.py	check-tempates: Improve error message for missing end tag.	2021-12-04 15:35:24 -08:00
test_script.py	test_script: Reword provision warning not to assume running tests.	2021-11-16 16:29:34 -08:00
test_server.py	python: Simplify stdio flushing using print(…, flush=True).	2021-06-09 14:05:31 -07:00