Configure the github user

Author: Ben Clark

.github/workflows/zip-release.yml

@@ -30,6 +30,8 @@ jobs:
           overwrite: true
       - name: copy to gh-pages branch
         run: |
+          git config user.email "[email protected]"
+          git config user.name "Github Actions"
           git checkout gh-pages
           mv out/index.html .
           git add index.html