Queue 2024 Jan 18 #5273
Merged
Queue 2024 Jan 18 #5273
Mergify / Rule: Automatically merge a PR when all required checks pass and 'push' label is present (queue)
succeeded
Jan 18, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 264636d
Loading