set email

.github/workflows/generate_docs.yml

@@ -30,6 +30,6 @@ jobs:
 
       - name: Use GITHUB_TOKEN to commit changes
         run: |
-          git diff --exit-code || (echo "Generated docs have changed, committing the changes." && git config user.name "${{ github.repository_owner }}" && git commit -c "user.name=${{ github.actor }}" -c "user.email=${{ github.actor }}@users.noreply.github.com" -am "Update generated docs (${GITHUB_SHA})" && git push origin HEAD:${{ github.head_ref }})
+          git diff --exit-code || (echo "Generated docs have changed, committing the changes." && git config user.name "${{ github.repository_owner }}" && git -c "user.name=${{ github.actor }}" -c "user.email=${{ github.actor }}@users.noreply.github.com" commit -am "Update generated docs (${GITHUB_SHA})" && git push origin HEAD:${{ github.head_ref }})
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}