Mergify / Rule: Add PR to default queue (queue)
succeeded
Nov 3, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at b89a8ac
Loading
The pull request has been merged automatically at b89a8ac