Hi, I created a new plugin (see https://wiki.jenkins-ci.org/display/JENKINS/JGiven+Plugin and https://github.com/jenkinsci/jgiven-plugin).
It seems to me that I got the artifactId wrong - it should probably be jgiven and not jgiven-plugin. Now I would like to rename that since not many users will have installed the plugin yet... I opened a pull request to backend-update-center2 (https://github.com/jenkinsci/backend-update-center2/pull/10) to ignore the jgiven-plugin and would then release a new version of the plugin with the correct artifactId. Could someone please merge the pull request? Who has commit access to this repository - I am in the core group and don't have... Regards, Stefan -- 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/ff29a7e4-f40a-40b8-9f4f-99a4d203f133%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
