ci: github action to check python types

.github/workflows/mypy-check.yaml

@@ -0,0 +1,36 @@
+name: Mypy Type Checking
+
+on:
+  push:
+    branches:
+      - main  # Trigger the workflow on push to main
+  pull_request:
+    branches:
+      - main  # Trigger the workflow on pull request to main
+  workflow_dispatch:  # Allows manual triggering
+
+jobs:
+  type-check:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Check out code
+      uses: actions/checkout@v2
+
+    - name: Set up Python
+      uses: actions/setup-python@v2
+      with:
+        python-version: '3.9'
+
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
+
+    - name: Install mypy
+      run: |
+        pip install mypy
+
+    - name: Run mypy
+      run: |
+        mypy project.py git_utils.py --check-untyped-defs