Remove deprecated lint task (#5)

This commit is contained in:
Charlie Marsh 2022-10-27 17:15:16 -04:00 committed by GitHub
parent 301fe68ff7
commit c9c9fc5b49
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -31,14 +31,4 @@ jobs:
--types python
--description "Run `ruff` for extremely fast Python linting" .
# Intended for removal November 2022 (1 month after deprecation)
- run: >
pre-commit-mirror
--language python
--package-name ruff
--entry ruff
--id lint
--types python
--description "Deprecated: use hook id `ruff` instead. Planned removal 2022-11-30" .
- run: git push origin HEAD:refs/heads/main --tags