Add next-release milestone via GitHub Actions workflow to automated PRs #3337
Mergify / Rule: automatic merge for pull request based on label and ci success (merge)
succeeded
Feb 20, 2026 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 188b0bb
Loading