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 <benjaminspro...@gmail.com>: > Hi, > > Sorry if this isn't the correct place to do this (I'm just doing what this > page says to do <https://jenkins.io/project/governance/>), but I've > already spoken with Edward Kimber whether he was happy for me to carry on > with the pitmutation-plugin > <https://github.com/jenkinsci/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 jenkinsci-dev+unsubscr...@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f% > 40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/83a3501c-ce08-4bba-8e9a-3951d359647f%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > > > ---------- Message transféré ---------- > From: Edward Kimber <edward.kim...@gmail.com> > To: Benjamin Sproule <benja...@benjaminsproule.com> > 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 < > benja...@benjaminsproule.com> 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 <edward.kim...@gmail.com> >> 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 < >>> benja...@benjaminsproule.com> 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 jenkinsci-dev+unsubscr...@googlegroups.com. 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.
