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