Categories
Merge Queue
Date
October 20, 2025
A label is now automatically toggled on PR removed from the merge queue. It is dequeued by default can be tweaked by using the dequeue_label parameter in the merge_queue section.
merge_queue
dequeue_label: removed-from-queue