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