Anders Kaseorg 513848a9d2 requirements: Install Gitlint from PyPI again. ... In https://github.com/jorisroovers/gitlint/pull/246 I split the gitlint package into gitlint and gitlint-core, where the latter avoids pinning exact versions of its requirements so we can use it again. Signed-off-by: Anders Kaseorg <anders@zulip.com>		2021-11-29 13:35:58 -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	check-templates: Tweak message for fixes.	2021-11-24 14:29:07 +00: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	templates: Clean up zephyr-mirror.html.	2021-11-24 13:56:41 +00: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