see git config before deploying

Author: pfitzseb

.github/workflows/deploy.yml

@@ -24,4 +24,7 @@ jobs:
       - name: Install dependencies
         run: julia --project=. -e 'using Pkg; Pkg.instantiate()'
       - name: Aggregate and deploy
-        run: julia --project=. docs/make.jl
+        run: |
+          git config user.name github-actions
+          git config user.email [email protected]
+          julia --project=. docs/make.jl