Merged. On 20.02.2015, at 22:58, Stefan Wolf <glowwo...@gmail.com> 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 <glow...@gmail.com> 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 jenkinsci-de...@googlegroups.com. > > 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 jenkinsci-dev+unsubscr...@googlegroups.com. > 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 jenkinsci-dev+unsubscr...@googlegroups.com. 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.
