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,8 +46,8 @@ 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