Repository navigation

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

CI: assign-milestone sets a pull request's milestone (pull-requests: write)#260
tae898 merged 1 commit into
mainfrom
ci/milestone-pr-permission

Commits on Nov 5, 2026
- CI: assign-milestone needs pull-requests: write to set a PR's milestone
  
  tae898
  and
  claude
  committed
  6c70e34