Do not detect mergeability if the PR is already merged - Githubissues

sharingcloud / github-scbot

A custom GitHub Bot to manage our development workflows

MIT License

2 stars 0 forks source link

Do not detect mergeability if the PR is already merged #126

Closed Srynetix closed 2 years ago

Srynetix commented 2 years ago

It sets an awaiting-changes label for nothing.