Github Bors Merge

Adds a button to easily start/stop PR merge when using bors

Жодного обговорення ще не опубліковано.

Опублікувати відгук, коментар або запитання

Якщо ви вважаєте, що цей сценарій порушує правила Greasy Fork, будь ласка, зголосіть його для видалення.

Sign in to post a review, comment, or question.