zulip/tools/lib
Riken Shah 1d4ed408cb provision: Run provision if provision check fails.
This will helps us improve the developer experience
where they don't have to run provsion everytime.
2022-04-17 18:04:04 +05:30
..
__init__.py
capitalization.py tools: Fix typo in previous commit. 2022-03-18 16:57:51 -07: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 docs: Fix many spelling mistakes. 2022-02-07 18:51:06 -08:00
html_branches.py dead code: Kill off most of html_branches. 2021-12-02 09:49:10 -08:00
pretty_print.py python: Replace universal_newlines with text. 2022-01-23 22:16:01 -08:00
provision.py python: Convert last type comments to annotations. 2022-03-24 20:32:39 -07:00
provision_inner.py docs: Fix Git capitalization. 2022-02-28 16:04:35 -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 provision: Run provision if provision check fails. 2022-04-17 18:04:04 +05:30
test_server.py python: Simplify stdio flushing using print(…, flush=True). 2021-06-09 14:05:31 -07:00