Clean up mention of manual hook stage

EliahKagan · EliahKagan · commit f78841870cea · 2024-03-13T11:54:08.000-04:00
This is no longer used. No pre-commit hook specifies it anymore in `stages`, since 517f83a (#1865). See b059cd5 (#1868) for context. In the lint.yml GitHub Actions workflow, this removes the extra_args key altogether, because all that would remain there is --all-files, which is already the default for that action, when the extra_args key is absent.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -14,5 +14,3 @@ jobs:
         python-version: "3.x"
 
     - uses: pre-commit/action@v3.0.1
-      with:
-        extra_args: --all-files --hook-stage manual
diff --git a/tox.ini b/tox.ini
@@ -12,7 +12,7 @@ commands = pytest --color=yes {posargs}
 [testenv:lint]
 description = Lint via pre-commit
 base_python = py{39,310,311,312,38,37}
-commands = pre-commit run --all-files --hook-stage manual
+commands = pre-commit run --all-files
 
 [testenv:mypy]
 description = Typecheck with mypy
