Pass --all-files explicitly so it is retained

EliahKagan · EliahKagan · commit a872d9c9c90b · 2023-10-03T15:31:21.000-04:00
In the lint workflow, passing extra-args replaced --all-files,
rather than keeping it but adding the extra arguments after it.

(But --show-diff-on-failure and --color=always were still passed.)
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -15,6 +15,6 @@ jobs:
 
     - uses: pre-commit/action@v3.0.0
       with:
-        extra_args: --hook-stage manual
+        extra_args: --all-files --hook-stage manual
       env:
         SKIP: black-format
