The repo is owned by the infra team, so I could merge it. Do you know why some entries are 'foo=1' while others are just 'foo'? Does this not matter?
On 20.02.2015, at 09:57, Stefan Wolf <[email protected]> wrote: > 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. -- 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/372ECC6F-4C6F-4B23-821D-6689F8BA8365%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
