Mergify / Rule: Automatic merge on approval (merge)
succeeded
Jan 16, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 04b0d26
Loading
The pull request has been merged automatically at 04b0d26