Anders Kaseorg f78e6e653b Remove remnants of bots_unmaintained. ... This was deleted in commit 754a9f7880 (#567). Signed-off-by: Anders Kaseorg <anders@zulip.com>		2023-11-13 13:29:50 -08: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	python: Fix PAR001 Redundant parentheses.	2023-11-11 16:41:52 -08:00
deploy	ruff: Enable lots of rules.	2023-11-11 16:16:17 -08: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: Replace Black with Ruff.	2023-10-27 19:08:40 -07:00
lint-commits	Rename default branch to ‘main’	2021-08-24 12:50:52 -07:00
provision	python: Fix PAR001 Redundant parentheses.	2023-11-11 16:41:52 -08: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	Remove remnants of bots_unmaintained.	2023-11-13 13:29:50 -08:00