mypy: Add script to run against all, and use in github/push-checks

.github/workflows/push-checks.yml

@@ -59,3 +59,7 @@ jobs:
           grep -E -z -Z '\.py$' | \
           xargs -0 flake8 --count --statistics --extend-ignore D
         #######################################################################
+
+    - name: mypy type checks
+      run: |
+          ./scripts/mypy-all.sh

scripts/mypy-all.sh

@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+#
+
+mypy $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$')