Open
Description
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.