Merge Queue
Add/remove queued label automatically on PRs
New `queued_label` option on `merge_queue` automatically tags pull requests as they enter and leave the queue.
This pull request implements a new merge_queue attribute name queued_label. This attribute allows the user to set/unset the label that will be set on PRs that are either queued or dequeued in the merge queue.
This makes it easier to spot queued PRs directly from the GitHub UI.
Was this page helpful?
Thanks for your feedback!