Captures d’écran

Description

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