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
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
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
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
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