merge queue: embarking main (1008f60) and #3788 together #3790
Mergify / Mergify Merge Protections
completed
Sep 9, 2024 in 1s
Merge protections ignored
Merge protections are ignored on the merge queue pull requests. Queue rules mechanism is used instead.
Loading