Re: Rename of JGiven-Plugin artifactId

2015-02-20 Thread Daniel Beck
Merged. On 20.02.2015, at 22:58, Stefan Wolf 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

Re: Rename of JGiven-Plugin artifactId

2015-02-20 Thread Stefan Wolf
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

Re: Rename of JGiven-Plugin artifactId

2015-02-20 Thread Baptiste Mathus
Reading the code, doesn't seem it does. That properties file is indeed loaded as a Properties instance [1], and then only the key is ever used if I read correctly [2]. Just read the java.util.Properties and loading a key-only properties file actually seems totally supported (though nothing states

Re: Rename of JGiven-Plugin artifactId

2015-02-20 Thread Daniel Beck
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 wrote: > Hi, > > I created a new plugin (see > https://wiki.jenkins-ci.org/display/JENKINS/JGiven+Plugin

Rename of JGiven-Plugin artifactId

2015-02-20 Thread Stefan Wolf
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 w