Tell git who we are

Author: jakoch

.github/workflows/build-docs.yml

@@ -111,6 +111,9 @@ jobs:
       - name: Push to gh-pages
         if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master'
         run: |
+          echo "Tell git who we are"
+          git config --global user.email "github-actions[bot]@users.noreply.github.com"
+          git config --global user.name "github-actions[bot]"
           git fetch origin
           echo "checkout gh-pages branch without history (orphan)"
           git checkout --orphan gh-pages