mostr-zulip-bot/tools
Anders Kaseorg 3b4867ad46 simple_lib: Add type annotations.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2023-10-25 16:59:41 -07:00
..
.coveragerc Replace the custom test runners with pytest. 2021-08-24 17:07:00 -07:00
clean-branches Rename default branch to ‘main’ 2021-08-24 12:50:52 -07:00
clean-repo Make git utility scripts executable. 2017-12-27 10:55:38 +01:00
custom_check.py Upgrade requirements. 2023-10-25 13:23:51 -07:00
deploy Convert type comments to Python ≥ 3.6 variable annotations. 2023-10-18 01:04:47 -07:00
deploy-branch Rename default branch to ‘main’ 2021-08-24 12:50:52 -07:00
fetch-pull-request Make git utility scripts executable. 2017-12-27 10:55:38 +01:00
fetch-rebase-pull-request Rename default branch to ‘main’ 2021-08-24 12:50:52 -07:00
gitlint-rules.py gitlint-rules: Remove convoluted binary search for imperative forms. 2021-06-14 13:36:30 -07:00
lint lint: Add black as a linter. 2021-06-02 18:45:57 -07:00
lint-commits Rename default branch to ‘main’ 2021-08-24 12:50:52 -07:00
provision tools: Add type annotations. 2023-10-25 16:59:41 -07:00
reset-to-pull-request Make git utility scripts executable. 2017-12-27 10:55:38 +01:00
review Rename default branch to ‘main’ 2021-08-24 12:50:52 -07:00
run-mypy simple_lib: Add type annotations. 2023-10-25 16:59:41 -07:00