How to set label for a published plugin

15 views
Skip to first unread message

Stephane Nsakala

unread,
Dec 21, 2019, 12:42:11 PM12/21/19
to Jenkins Developers
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

Gavin Mogan

unread,
Dec 21, 2019, 1:22:22 PM12/21/19
to jenkin...@googlegroups.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.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

--
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.

Oleg Nenashev

unread,
Feb 27, 2020, 6:26:25 AM2/27/20
to Jenkins Developers
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, <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.
Reply all
Reply to author
Forward
0 new messages