Mergify / Rule: Automatic merge on approval (queue)
succeeded
Apr 14, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at e63d11d
Loading
The pull request has been merged automatically at e63d11d