trop icon indicating copy to clipboard operation
trop copied to clipboard

Don't Put Conflicting Backport Labels on PR

Open dsanders11 opened this issue 1 year ago • 0 comments

If trop gets confused due to a bug or humans applying labels, PRs can end up with both backport/accepted ✅ and backport/requested 🗳 on it. We should prevent these conflicting labels, and also prevent trop from modifying backport labels on a merged backport PR.

dsanders11 avatar Apr 19 '24 00:04 dsanders11