Rename of JGiven-Plugin artifactId
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-dev+unsubscr...@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.
Re: Rename of JGiven-Plugin artifactId
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 glowwo...@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-dev+unsubscr...@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/372ECC6F-4C6F-4B23-821D-6689F8BA8365%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
Re: Rename of JGiven-Plugin artifactId
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 =1s. 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.
Re: Rename of JGiven-Plugin artifactId
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 =1s. Thanks, Stefan On 20.02.2015, at 09:57, Stefan Wolf glow...@gmail.com 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 jenkinsci-de...@googlegroups.com 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 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.