Label GitHub Actions-created PRs

[dceoy]

Summary

• add labels: agent:github-actions to the existing peter-evans/create-pull-request step
• keep the workflow otherwise unchanged
• keep agent:github-actions as repository metadata instead of provisioning it from a workflow job/step

Verification

• final code diff is a single labels: line in .github/workflows/post-release.yml
• no additional job, step, or permission is introduced

[chatgpt-codex-connector]

💡 Codex Review

opencode-action/.github/workflows/post-release.yml

Lines 94 to 95 in c67bc7c

	gh label view agent:github-actions >/dev/null 2>&1 || \
	gh label create agent:github-actions \

Check label existence with a supported gh command

On every run after this label has been created, this step fails before the pull-request step: gh label view is not a supported GitHub CLI command, so it always enters the fallback, and gh label create then errors because the label already exists. Checked with gh 2.96.0: gh label view ... returns unknown command "view", while gh label --help lists only clone, create, delete, edit, and list; use gh label list for the existence check or make creation idempotent with the documented --force flag.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".