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	…
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.py	requirements: Install Gitlint from PyPI again.	2021-11-29 13:35:58 -08:00
provision_inner.py	mypy: Add types-Pygments.	2021-08-02 22:31:46 -07: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