merge queue: embarking main (efa2f3a), #5802 and #5803 together #5805
Mergify / Mergify Merge Protections
completed
Jan 24, 2025 in 0s
Merge protections ignored
Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.
Loading