FTR https://groups.google.com/forum/#!topic/jenkinsci-dev/DRzc6TatYSc - announcement of the GitHub topics support
On Saturday, December 21, 2019 at 7:22:22 PM UTC+1, Gavin Mogan wrote: > > Right now the only way change labels is through a pr for > https://github.com/jenkins-infra/update-center2/blob/master/src/main/resources/label-definitions.properties > > I'm working on a PR to pull labels from GitHub topics, but I don't imagine > it'll be merged now till after holidays. > > Gavin > > On Sat., Dec. 21, 2019, 9:42 a.m. Stephane Nsakala, <[email protected] > <javascript:>> wrote: > >> Looking for plugin in https://plugins.jenkins.io/ show that most of them >> have label (e.g Cluster management, Agent controllers, Build parameter) >> But i did not find any doc on how to set them. >> Any help ? >> >> Regards >> >> -Stéphane >> >> -- >> 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 [email protected] <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/af9147bc-9696-4cc0-b79f-8f450281719a%40googlegroups.com >> >> <https://groups.google.com/d/msgid/jenkinsci-dev/af9147bc-9696-4cc0-b79f-8f450281719a%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/6e3fd8d2-4798-4b0f-9e58-6a580132ca96%40googlegroups.com.
