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-queueDequeued label on PR
New label for identifying dequeued pull requests
Was this page helpful?
Thanks for your feedback!