fix(compat): commit email must match git_admin's Gitea record (gitea@local.domain)

.gitea/workflows/seed-compat.yml

@@ -147,12 +147,15 @@ jobs:
           rm -rf compat-bootstrap/per-major
 
           # Author identity must match a real Gitea user — the
-          # branch-protection pre-receive hook calls GetUserByID against
-          # the committer email and rejects with "Internal Server Error"
-          # (uid=-2) when no match exists. compat-seeder doesn't have a
-          # Gitea account; the COMPAT_PUSH_TOKEN is git_admin's anyway,
-          # so commit + push under that identity for a clean audit trail.
-          git config user.email "m@havari.me"
+          # branch-protection pre-receive hook calls GetUserByEmail
+          # against the committer and rejects with "Internal Server
+          # Error" (uid=-2) when no match exists. The COMPAT_PUSH_TOKEN
+          # belongs to git_admin, whose canonical Gitea email is
+          # `gitea@local.domain` (the install default — NOT the address
+          # in .credentials.md, which never made it onto the user
+          # record). Commit + push under that identity for a clean
+          # audit trail.
+          git config user.email "gitea@local.domain"
           git config user.name  "git_admin"
 
           if [ ! -f compat-bootstrap/seeded-ci.json ]; then