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.