Update username and email for GH action commits

Use the email address and username suggested in the `actions/checkout`
documentation: actions/checkout#1707

.github/workflows/ci.yaml

@@ -46,17 +46,15 @@ jobs:
           cache: 'npm'
       - uses: seanmiddleditch/gha-setup-ninja@master
       - run: |
-          git config --global user.email "noreply@github.com"
-          git config --global user.name "github-action"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git config user.name "github-actions[bot]"
           git fetch origin main:main --depth 1
           git merge origin/main --message "Generate files" --log=1 --allow-unrelated-histories --strategy-option theirs
       - run: npm ci
       - run: node ninjutsu.mjs
       - run: ninja -k 0
       - run: |
           git add dist --force
-          git config --global user.email "noreply@github.com"
-          git config --global user.name "github-action"
           git commit --amend -C HEAD
       - name: Push changes
         env: