Hi again, Finally I've changed those names as "JenkinsLint plugin". Thanks for that information Ullrich! Please see the below information:
- Github repo: *https://github.com/v1v/jenkinslint-plugin <https://github.com/v1v/jenkinslint-plugin>* - repository name:* jenkinslint-plugin* - Github user: *v1v* - jenkins-ci.org: *v2v* - Description: *Checks Jenkins Jobs for practices and behaviour that could potentially be improved.* - Wiki: *https://wiki.jenkins-ci.org/display/JENKINS/JenkinsLint+Plugin <https://wiki.jenkins-ci.org/display/JENKINS/JenkinsLint+Plugin>* Please let me know your thoughts and if I need to update anything else Thanks again On Tuesday, 7 July 2015 23:00:26 UTC+2, Ullrich Hafner wrote: > > You don’t need to change the artifact ID. > (since we strip the string „Jenkins „ (space after Jenkins) the name > JenkinsLint plugin would also work.) > > > Am 07.07.2015 um 22:47 schrieb Victor Martinez <[email protected] > <javascript:>>: > > > > I believe "Jenkins Jenkins Lint Plugin" is good enough, "plugin plugin" > suffix is not necessary, since ir doesnt provide any further meaning . What > do you think? Should i rename those references as "Jenkins Jenkins Lint > Plugin"? What about the artifactid: "jenkins-jenkins-lint"? > > > > Thanks > > > > -- > > 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/39a27105-6efb-4bcc-952b-84dfc1a0ce50%40googlegroups.com. > > > > For more options, visit https://groups.google.com/d/optout. > > -- 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/d9fc3124-f076-45b3-b20b-9c01eca23c92%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
