Hi Daniel, Am Freitag, 20. Februar 2015 15:25:44 UTC+1 schrieb Daniel Beck: > > The repo is owned by the infra team, so I could merge it. >
Yes, please! > Do you know why some entries are 'foo=1' while others are just 'foo'? Does > this not matter? > I can second Baptiste's comment that it doesn't matter, so you could remove all the "=1"s. Thanks, Stefan > > On 20.02.2015, at 09:57, Stefan Wolf <[email protected] <javascript:>> > 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] <javascript:>. > > 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/962aa736-bcdb-412f-b781-c15221730b84%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
