Skip to content

Update merge conditions for codegen pull request and adjust permissions in workflow - #365

Merged
ptr727 merged 1 commit into
developfrom
prcodegen
Apr 13, 2026
Merged

Update merge conditions for codegen pull request and adjust permissions in workflow#365
ptr727 merged 1 commit into
developfrom
prcodegen

Conversation

@ptr727

@ptr727 ptr727 commented Apr 13, 2026

Copy link
Copy Markdown
Owner

…ns in workflow

Signed-off-by: Pieter Viljoen <ptr727@users.noreply.github.com>
Copilot AI review requested due to automatic review settings April 13, 2026 05:09

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the GitHub Actions automation around the codegen PR creation and auto-merge flow by adjusting token usage, permissions, and merge gating conditions.

Changes:

  • Grant job-level write permissions for contents and pull requests in the reusable codegen workflow job.
  • Switch PR creation to use GITHUB_TOKEN, and add a PAT-authenticated close/reopen to trigger downstream PR workflows.
  • Update merge-bot conditions to target PRs authored by github-actions[bot] and allow the PAT user to be the actor only for the reopened event.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
.github/workflows/run-codegen-pull-request-task.yml Uses GITHUB_TOKEN to open/update the codegen PR and adds a PAT-based close/reopen step to trigger PR workflows.
.github/workflows/merge-bot-pull-request.yml Tightens/adjusts the auto-merge gating logic to match the new “bot-created PR + PAT-triggered reopen” flow.

@ptr727
ptr727 merged commit e7a0669 into develop Apr 13, 2026
55 checks passed
@ptr727
ptr727 deleted the prcodegen branch April 13, 2026 13:23
@ptr727 ptr727 mentioned this pull request May 24, 2026
3 tasks
Sign up for free to 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.

2 participants