--
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/af9147bc-9696-4cc0-b79f-8f450281719a%40googlegroups.com.
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.propertiesI'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, <nzun...@gmail.com> 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 jenkin...@googlegroups.com.