setup git user for github ci

Author: hjwp

.github/workflows/tests.yml

@@ -20,6 +20,11 @@ jobs:
       run: |
         sed -i '[email protected]:_https://github.com/_' .gitmodules
         git submodule update --init --recursive
+
+    - name: setup git user
+      run: |
+        git config --global user.email "[email protected]"
+        git config --global user.name "Elspeth See-Eye"
     
     - name: Set up Python 3.8
       uses: actions/setup-python@v1