Closed zregvart closed 3 years ago
If changes are requested bot should remove pr/approved label and not merge the PR. Example https://github.com/syndesisio/syndesis/pull/5329
pr/approved
Another example https://github.com/syndesisio/syndesis/pull/5902
Another example https://github.com/syndesisio/syndesis/pull/7467
If changes are requested bot should remove
pr/approved
label and not merge the PR. Example https://github.com/syndesisio/syndesis/pull/5329