Mergify / Rule: automatic merge (queue)
succeeded
Dec 22, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at cd54c42
Loading
The pull request has been merged automatically at cd54c42