Utilize Merigify's Merge Queue #1243
Merged
Mergify / Rule: Auto merge (queue)
cancelled
Jan 25, 2024 in 0s
The pull request has been merged manually
The pull request has been merged manually at c8604f9
Loading