Eeshan Garg 74d716289b tools: Delete the release-packages script. ... This script has been outdated for a long time now and has been obsoleted by some recent changes in how packages should be built and distributed. In general, the release process is now too complicated to automate, so we are better off just making the release manually.		2022-01-05 08:11:58 +05:30
..
.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	pyupgrade: Reformat with --py36-plus.	2021-06-02 18:45:57 -07:00
deploy	pyupgrade: Reformat with --py36-plus.	2021-06-02 18:45:57 -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	pyupgrade: Reformat with --py36-plus.	2021-06-02 18:45:57 -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	mypy: Add types to terminal.py.	2021-11-21 21:06:40 -08:00