trop
trop copied to clipboard
Don't Put Conflicting Backport Labels on PR
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.