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