Mergify / Rule: Automatically merge a PR when all required checks pass and 'push' label is present (queue)
succeeded
Dec 18, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at b8602d8
Loading