Getting access to pitmutation-plugin

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Getting access to pitmutation-plugin

Benjamin Sproule
Hi,

Sorry if this isn't the correct place to do this (I'm just doing what this page says to do), but I've already spoken with Edward Kimber whether he was happy for me to carry on with the pitmutation-plugin that his is currently the maintainer for and he is happy for me to take on the plugin (attached email trail).

Is there someone who can give me access to the github repo so I can take this up? If there is anything else I need to do, please just tell me what to do and I will make those changes.

Github user name: gigaSproule
Jenkins.io user name: gigasproule

Thanks,
Ben

--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Great stuff yes of course that's fine. People also keep adding issues to the wrong repo. I'm not sure why that's happening, but the correct one is part of the official Jenkins project: https://github.com/jenkinsci/pitmutation-plugin

Ed

On Tue, 10 Oct 2017 at 18:58 Benjamin Sproule <[hidden email]> wrote:
I know what you mean, I've had a few things I've been helping with because they're needed for work, but then we end up not needing them and it ends up being dead code.

I'll go through the normal process to get access to the repo and stuff, so I'll just include this email to speed it up if that's OK?

Ben


On 10 October 2017 15:56:54 BST, Edward Kimber <[hidden email]> wrote:
Hi Ben
I'd be more than happy for you to do this. Actually I feel bad for not maintaining it, though I always intend to make time to do another release it never seems to happen. Also as I'm not using it any more, and haven't for some time, I wouldn't be confident that fixes or pull requests are okay to merge/release. Just let me know if there is anything I need to do to enable you. Thanks!

Kind Regards,
Edward

On Mon, 9 Oct 2017 at 15:04 Benjamin Sproule <[hidden email]> wrote:
Hi Edward,

I've noticed that you've not been responding on the Github repo about the plugin and was wondering if you needed help maintaining it? I'm more than happy to provide a hand or take it over if you find you don't have the time. Please don't feel like I'm trying to take it from you, just that I want to use a few of the fixes and I'm sure some others do as well.

Kind regards,
Ben


--
Sent from my Android device with K-9 Mail. Please excuse my brevity.
Reply | Threaded
Open this post in threaded view
|

Re: Getting access to pitmutation-plugin

Baptiste MATHUS
Hello,

So I moved forward trusting the email, even if obviously it's easier to forge than a referenced GitHub conversation. But let's start with a trust relationship, hoping I'm not getting pwned :-).
I made committer on that plugin, and the lead of the JIRA component.

You *must* accept the GitHub invitation to make this effective.

Welcome aboard!


2017-10-11 21:28 GMT+02:00 Benjamin Sproule <[hidden email]>:
Hi,

Sorry if this isn't the correct place to do this (I'm just doing what this page says to do), but I've already spoken with Edward Kimber whether he was happy for me to carry on with the pitmutation-plugin that his is currently the maintainer for and he is happy for me to take on the plugin (attached email trail).

Is there someone who can give me access to the github repo so I can take this up? If there is anything else I need to do, please just tell me what to do and I will make those changes.

Github user name: gigaSproule
Jenkins.io user name: gigasproule

Thanks,
Ben

--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


---------- Message transféré ----------
From: Edward Kimber <[hidden email]>
To: Benjamin Sproule <[hidden email]>
Cc: 
Bcc: 
Date: Tue, 10 Oct 2017 22:50:02 +0000
Subject: Re: Pit Mutation Jenkins Plugin
Great stuff yes of course that's fine. People also keep adding issues to the wrong repo. I'm not sure why that's happening, but the correct one is part of the official Jenkins project: https://github.com/jenkinsci/pitmutation-plugin

Ed

On Tue, 10 Oct 2017 at 18:58 Benjamin Sproule <[hidden email]> wrote:
I know what you mean, I've had a few things I've been helping with because they're needed for work, but then we end up not needing them and it ends up being dead code.

I'll go through the normal process to get access to the repo and stuff, so I'll just include this email to speed it up if that's OK?

Ben


On 10 October 2017 15:56:54 BST, Edward Kimber <[hidden email]> wrote:
Hi Ben
I'd be more than happy for you to do this. Actually I feel bad for not maintaining it, though I always intend to make time to do another release it never seems to happen. Also as I'm not using it any more, and haven't for some time, I wouldn't be confident that fixes or pull requests are okay to merge/release. Just let me know if there is anything I need to do to enable you. Thanks!

Kind Regards,
Edward

On Mon, 9 Oct 2017 at 15:04 Benjamin Sproule <[hidden email]> wrote:
Hi Edward,

I've noticed that you've not been responding on the Github repo about the plugin and was wondering if you needed help maintaining it? I'm more than happy to provide a hand or take it over if you find you don't have the time. Please don't feel like I'm trying to take it from you, just that I want to use a few of the fixes and I'm sure some others do as well.

Kind regards,
Ben


--
Sent from my Android device with K-9 Mail. Please excuse my brevity.


--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS7J5TkygNEhmtoERfXHpWL5QjxS2Eod6-y6iSZebEGSVg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
Reply | Threaded
Open this post in threaded view
|

Re: Getting access to pitmutation-plugin

Benjamin Sproule
Hey,

Thanks for that. I have accepted the invite.

It hadn't even occurred to me that one could fake the emails :( I'm obviously too naive on that front.

Ben

On Thursday, 12 October 2017 13:55:21 UTC+1, Baptiste Mathus wrote:
Hello,

So I moved forward trusting the email, even if obviously it's easier to forge than a referenced GitHub conversation. But let's start with a trust relationship, hoping I'm not getting pwned :-).
I made committer on that plugin, and the lead of the JIRA component.

You *must* accept the GitHub invitation to make this effective.

Welcome aboard!


2017-10-11 21:28 GMT+02:00 Benjamin Sproule <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">benjami...@...>:
Hi,

Sorry if this isn't the correct place to do this (I'm just doing what <a href="https://jenkins.io/project/governance/" rel="nofollow" target="_blank" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fjenkins.io%2Fproject%2Fgovernance%2F\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHQgZFXFhQ-oKQeMHjyDYTkE2NZBg&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fjenkins.io%2Fproject%2Fgovernance%2F\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNHQgZFXFhQ-oKQeMHjyDYTkE2NZBg&#39;;return true;">this page says to do), but I've already spoken with Edward Kimber whether he was happy for me to carry on with the <a href="https://github.com/jenkinsci/pitmutation-plugin" rel="nofollow" target="_blank" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgithub.com%2Fjenkinsci%2Fpitmutation-plugin\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNGcaoQR2XyzDystih2bwlizTB-WEw&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgithub.com%2Fjenkinsci%2Fpitmutation-plugin\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNGcaoQR2XyzDystih2bwlizTB-WEw&#39;;return true;">pitmutation-plugin that his is currently the maintainer for and he is happy for me to take on the plugin (attached email trail).

Is there someone who can give me access to the github repo so I can take this up? If there is anything else I need to do, please just tell me what to do and I will make those changes.

Github user name: gigaSproule
Jenkins.io user name: gigasproule

Thanks,
Ben

--
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 <a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com?utm_medium=email&amp;utm_source=footer" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com?utm_medium\x3demail\x26utm_source\x3dfooter&#39;;return true;" onclick="this.href=&#39;https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com?utm_medium\x3demail\x26utm_source\x3dfooter&#39;;return true;">https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com.
For more options, visit <a href="https://groups.google.com/d/optout" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://groups.google.com/d/optout&#39;;return true;" onclick="this.href=&#39;https://groups.google.com/d/optout&#39;;return true;">https://groups.google.com/d/optout.


---------- Message transféré ----------
From: Edward Kimber <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">edward...@...>
To: Benjamin Sproule <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">benj...@...>
Cc: 
Bcc: 
Date: Tue, 10 Oct 2017 22:50:02 +0000
Subject: Re: Pit Mutation Jenkins Plugin
Great stuff yes of course that's fine. People also keep adding issues to the wrong repo. I'm not sure why that's happening, but the correct one is part of the official Jenkins project: <a href="https://github.com/jenkinsci/pitmutation-plugin" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgithub.com%2Fjenkinsci%2Fpitmutation-plugin\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNGcaoQR2XyzDystih2bwlizTB-WEw&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgithub.com%2Fjenkinsci%2Fpitmutation-plugin\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNGcaoQR2XyzDystih2bwlizTB-WEw&#39;;return true;">https://github.com/jenkinsci/pitmutation-plugin

Ed

On Tue, 10 Oct 2017 at 18:58 Benjamin Sproule <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">benj...@...> wrote:
I know what you mean, I've had a few things I've been helping with because they're needed for work, but then we end up not needing them and it ends up being dead code.

I'll go through the normal process to get access to the repo and stuff, so I'll just include this email to speed it up if that's OK?

Ben


On 10 October 2017 15:56:54 BST, Edward Kimber <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">edward...@...> wrote:
Hi Ben
I'd be more than happy for you to do this. Actually I feel bad for not maintaining it, though I always intend to make time to do another release it never seems to happen. Also as I'm not using it any more, and haven't for some time, I wouldn't be confident that fixes or pull requests are okay to merge/release. Just let me know if there is anything I need to do to enable you. Thanks!

Kind Regards,
Edward

On Mon, 9 Oct 2017 at 15:04 Benjamin Sproule <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="DeV6vn_sAQAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">benj...@...> wrote:
Hi Edward,

I've noticed that you've not been responding on the Github repo about the plugin and was wondering if you needed help maintaining it? I'm more than happy to provide a hand or take it over if you find you don't have the time. Please don't feel like I'm trying to take it from you, just that I want to use a few of the fixes and I'm sure some others do as well.

Kind regards,
Ben


--
Sent from my Android device with K-9 Mail. Please excuse my brevity.



--
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 [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/af4b0b1d-4b26-4c50-b9f4-77d7a27dab38%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.