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]>
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].
> 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/CAG%3D_DutzN7%3DXPvUM1MCcigeN8UGbZn3Se2%3Dcyo4oLjGnVF2Eug%40mail.gmail.com.

Reply via email to