<@U051221NF> fyi an awkward edge with the required...
# developmenth
hundreds-father-404
03/26/2022, 6:06 PM@happy-kitchen-89482 fyi an awkward edge with the required PR labels: only Contributor and Maintainer team members are currently able to add them. Would it make sense to let anyone add GH labels?
hundreds-father-404
03/26/2022, 6:07 PMWould it make sense to let anyone add GH labels?Given that there aren't notifications when people change labels, I'm a little nervous to do this. Someone could mess up our labels like
needs-cherrypickb
bitter-ability-32190
03/26/2022, 7:30 PMInstead could the check be its own action? Then it won't stop people from getting normal CI feedback. And when the label is added we can rerun failed jobs
h
happy-kitchen-89482
03/26/2022, 7:53 PMOnly Contributors and Maintainers can trigger CI anyway
happy-kitchen-89482
03/26/2022, 8:19 PMWeird that people can't add labels to their own PRs?
b
bitter-ability-32190
03/26/2022, 8:46 PMAnyone can trigger CI after one-time clearance. No?
h
hundreds-father-404
03/27/2022, 1:41 AMAnyone can trigger CI after one-time clearance. No?yes