Merged. On 20.02.2015, at 22:58, Stefan Wolf <[email protected]> wrote:
> 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]> 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/962aa736-bcdb-412f-b781-c15221730b84%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/8669EC91-4AAC-4F6C-B362-50DDE12B99D6%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
