A similar approach is being used in Jenkins CERT team for a while. It seems to be effective.
The approach could be also used in plugins. In the long-term it may be possible to add overall PR status dashboards, which may be helpful for the project.
If there is no concerns, I'll go forward and add labels.
Best regards, Oleg
--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr1F6YRSt9O35JKFLqnnvcay9-Teg3zqPpziwTKHMW5Fdg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANMVJznFjjcG43CaUXpT3Rfz%3D-d2S1Nc0UTgtKj1052CSa%2Bzsg%40mail.gmail.com.
Anyway I am afraid this flame-war-in-the-making is distracting from the topic of the thread, which is PR labels. That seems a good idea to me.
I like the labels idea. KostyaSha has been encouraging me to consider labels on the git plugin and git client plugin pull requests as a classification technique. This seems like a good generalization (in addition to the plugin topic specific labels that Kostya and I have discussed).
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/fc7c7aac-32dd-44b2-a558-4f25b98c3d90%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANMVJzmpGife1s%3DWSTWPOGkE_n02bkSP%2BmA3QKaLLX6LDcr9Gw%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS6cx1w1rWPHUrnJTgHbMmzrW3NiXDkfRDFeYD50xdswxw%40mail.gmail.com.