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