Skip to content

CI: assign-milestone sets a pull request's milestone (pull-requests: write) - #260

Merged
tae898 merged 1 commit into
mainfrom
ci/milestone-pr-permission
Nov 5, 2026
Merged

tae898 merged 1 commit into
mainfrom
ci/milestone-pr-permission

Conversation

@tae898

@tae898 tae898 commented Nov 5, 2026

Copy link
Copy Markdown
Collaborator

Closes #259

The Assign release milestone workflow (#252) failed with 403 Resource not accessible by integration when it set the milestone of a merged pull request; issues: write covers issues only, so the job needs pull-requests: write. It checks out no pull request code (it runs on pull_request_target and calls the API only), so the wider token stays safe. Checked with actionlint and pre-commit; the first merge after this one shows the PR side working.

🤖 Generated with Claude Code

The workflow from #252 failed on the merges of #252 and #256 with 403 Resource not accessible by integration when it set the pull request's milestone; issues: write covers issues only. The workflow still checks out no pull request code (pull_request_target), so the wider token stays safe.

Closes #259

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@tae898 tae898 added the github_actions Pull requests that update GitHub Actions code label Nov 5, 2026
@tae898 tae898 added this to the 26.11.1 milestone Nov 5, 2026
@tae898
tae898 merged commit 03bd139 into main Nov 5, 2026
31 checks passed
@tae898
tae898 deleted the ci/milestone-pr-permission branch November 5, 2026 03:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Assign release milestone fails on pull requests: the token lacks pull-requests: write

1 participant