Mergify / Rule: automatic merge (queue)
succeeded
Dec 16, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 4b696bc
Loading
The pull request has been merged automatically at 4b696bc