fix(compat): rename secret to COMPAT_PUSH_TOKEN (GITEA_* prefix is reserved)

.gitea/workflows/seed-compat.yml

@@ -100,7 +100,7 @@ jobs:
 
       - name: Commit + push if content changed
         env:
-          GIT_USER_TOKEN: ${{ secrets.GITEA_PUSH_TOKEN }}
+          GIT_USER_TOKEN: ${{ secrets.COMPAT_PUSH_TOKEN }}
         run: |
           set -euo pipefail
           # Discard the per-major scratch files + addon worktrees; only
@@ -120,7 +120,7 @@ jobs:
           stamp=$(python3 -c "import json,sys; print(json.load(open('compat-bootstrap/seeded-ci.json'))['stampId'])")
           git commit -m "chore(compat): refresh cold-start seed (${stamp})"
 
-          # Push via token. GITEA_PUSH_TOKEN is a repo-scoped PAT with
+          # Push via token. COMPAT_PUSH_TOKEN is a repo-scoped PAT with
           # write access to odoo-tower/odoo-addons:compat-bootstrap.
           remote="https://compat-seeder:${GIT_USER_TOKEN}@git.odoosky.org/odoo-tower/odoo-addons.git"
           git push "$remote" HEAD:compat-bootstrap