chore(pre-commit): dedupe mypy and add types-requests; split commit vs push hooks

.pre-commit-config.yaml

@@ -34,6 +34,8 @@ repos:
           - .
           - --ignore-missing-imports
           - --explicit-package-bases
+        additional_dependencies:
+          - types-requests>=2.32.0.20241016
         stages: [pre-push]
 
   # --- Pytest: run test suite — push only (no edits) ---
@@ -47,16 +49,3 @@ repos:
         language: system
         pass_filenames: false
         stages: [pre-push]
-
-  - repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v1.18.2
-    hooks:
-      - id: mypy
-        pass_filenames: false
-        args:
-          - .
-          - --ignore-missing-imports
-          - --explicit-package-bases
-        additional_dependencies:
-          - types-requests>=2.32.0.20241016
-        stages: [ pre-push ]