Enrich GitHub pull-requests with the MergeQueue status. This allows you to enqueue a pull-request in one button.