[gha] Provide user/email for bot action

Author: penelopeysm

.github/workflows/DocsNav.yml

@@ -32,6 +32,8 @@ jobs:
       - name: Commit and push changes
         run: |
           if [[ -n $(git status -s) ]]; then
+            git config --global user.email "github-actions[bot]@users.noreply.github.com"
+            git config --global user.name "GitHub Actions"
             git add -A
             git commit -m "Update navbar (automated)"
             git push