Mergify / Rule: Automatic merge on approval (merge)
succeeded
Nov 27, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 5d7e89b
Loading
The pull request has been merged automatically at 5d7e89b