zulip/tools/lib
Sahil Batra 16d35f5b4e streams: Hide fake emails in stream creation form.
We hide fake emails in "People to add" section of
stream creation form and instead show user id
along with specifying that email is hidden.
2021-11-18 12:49:10 -08:00
..
__init__.py
capitalization.py streams: Hide fake emails in stream creation form. 2021-11-18 12:49:10 -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 python: Remove locally dead code. 2021-08-19 01:51:37 -07:00
pretty_print.py docs: Fix capitalization mistakes. 2021-05-10 09:57:26 -07:00
provision.py provision: Remove unsupported Ubuntu versions, add Impish. 2021-11-08 18:21:46 -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 docs: Fix capitalization mistakes. 2021-05-10 09:57:26 -07: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