Mergify / Rule: automatic merge (queue)
succeeded
Oct 25, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at a1eef1d
Loading
The pull request has been merged automatically at a1eef1d