Merge branch 'main' into addtypes

Yobmod · web-flow · commit f8e7a7df78fb · 2021-05-03T16:30:18.000+01:00
diff --git a/.github/workflows/pythonpackage.yml b/.github/workflows/pythonpackage.yml
@@ -5,9 +5,9 @@ name: Python package
 
 on:
   push:
-    branches: [ master ]
+    branches: [ main ]
   pull_request:
-    branches: [ master ]
+    branches: [ main ]
 
 jobs:
   build:
@@ -47,6 +47,11 @@ jobs:
         pip install flake8
         # stop the build if there are Python syntax errors or undefined names
         flake8 --ignore=W293,E265,E266,W503,W504,E731 --count  --show-source --statistics
+    - name: Check types with mypy
+      run: |
+        set -x
+        pip install tox
+        tox -e type
     - name: Test with nose
       run: |
         set -x
@@ -56,4 +61,4 @@ jobs:
       run: |
         set -x
         pip install -r doc/requirements.txt
-        make -C doc html
+        make -C doc html
diff --git a/git/ext/gitdb b/git/ext/gitdb
@@ -1 +1 @@
-Subproject commit e45fd0792ee9a987a4df26e3139f5c3b107f0092
+Subproject commit 03ab3a1d40c04d6a944299c21db61cf9ce30f6bb
