A label is now automatically toggled on PR removed from the merge queue. The label name is dequeued by default can be tweaked by using the dequeued_label parameter in the merge_queue section.
merge_queue
dequeued_label: removed-from-queueA label is now automatically toggled on PR removed from the merge queue. The label name is dequeued by default can be tweaked by using the dequeued_label parameter in the merge_queue section.
merge_queue
dequeued_label: removed-from-queue