Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is noisy (even when adding multiple labels, individual comments per label are generated), and likely no longer needed: we haven't had this work in a long time due to an expired GH token, and we now have better automation for backport PR assignment.
- Loading branch information