Skip to content

Update codegen files - #86

Merged
ptr727-codegen[bot] merged 1 commit into
developfrom
codegen-develop
May 18, 2026
Merged

Update codegen files#86
ptr727-codegen[bot] merged 1 commit into
developfrom
codegen-develop

Conversation

@ptr727-codegen

Copy link
Copy Markdown
Contributor

This PR updates the codegen files.

@ptr727-codegen
ptr727-codegenBot enabled auto-merge (squash) May 18, 2026 03:01
@ptr727-codegen
ptr727-codegenBot merged commit bd3876e into developMay 18, 2026
22 checks passed
ptr727 added a commit that referenced this pull request May 25, 2026
…90) (#91)
## Summary
Promotes develop → main. Two squashed commits ride along:
- **PR #90** — Migrate `actions/create-github-app-token` from deprecated
`app-id` to `client-id` (closes#88), bump pin `v1.12.0` → `v3.2.0`,
drop inert `codegen` entry from `test-pull-request.yml`'s base-branch
filter (closes#89), and relax `AGENTS.md`'s "agents never commit" rule
to allow scope-bound, signing-gated authorization. 5 files, 16+/17-.
- **PR #86** — `[ptr727-codegen]` weekly codegen refresh; 1 line in
`CodeGen/CodeGen.cs`.
The `CODEGEN_APP_CLIENT_ID` secret is already provisioned in both
Actions and Dependabot stores. The legacy `CODEGEN_APP_ID` secret can be
deleted after one round of each bot workflow runs green on main
post-merge.
## Test plan
- [ ] CI green on this PR.
- [ ] Post-merge: trigger `run-periodic-codegen-pull-request.yml` via
`workflow_dispatch`; both matrix legs (main, develop) mint App tokens
and open codegen PRs as `ptr727-codegen[bot]`.
- [ ] Post-merge: next Dependabot PR auto-merges cleanly via
`merge-bot-pull-request.yml` `merge-dependabot`.
- [ ] After one green round of each bot workflow, delete legacy
`CODEGEN_APP_ID` secret from both Actions and Dependabot stores.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants