Conversation
|
This PR does not modify any files shipped with the agent. To help streamline the release process, please consider adding the |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: cebc642e70
ℹ️ 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".
| name: Add Milestone on a Merged PR | ||
|
|
||
| on: | ||
| pull_request: |
There was a problem hiding this comment.
Trigger milestone updates from a write-capable event
This workflow is wired to pull_request events, but it performs a write operation with gh issue edit later in the job; for PRs coming from forks (including Dependabot), GITHUB_TOKEN is read-only on pull_request, so merged external PRs will fail to set milestones. In practice this means a non-trivial share of merged PRs will never be milestoned even though the workflow runs.
Useful? React with 👍 / 👎.
What does this PR do?
Adds a github workflow that runs on merged PRs in
masterand[0-9]+.[0-9]+.xrelease branches to automatically assign them to thecurrent_milestoneof their branch.Motivation
Make it easy to track each PR and its corresponding agent release version
Review checklist (to be filled by reviewers)
qa/skip-qalabel if the PR doesn't need to be tested during QA.backport/<branch-name>label to the PR and it will automatically open a backport PR once this one is merged