It sounds good to me. FWIW I had submitted an issue to the 'current' parent repo; I assume GH would only make the switch if all parties agree.
FYI - https://github.com/janinko/ghprb/issues/443 On Tue, Sep 27, 2016 at 5:09 AM, Daniel Beck <[email protected]> wrote: > > > On 26.09.2016, at 23:04, Ben Patterson <[email protected]> wrote: > > > > Yeah breaking the fork link would be under the control of the other repo > fwiw so I couldn't promise that. > > I can ask GitHub support to do that if that's the consensus. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Jenkins Developers" group. > To unsubscribe from this topic, visit https://groups.google.com/d/ > topic/jenkinsci-dev/iHBzu1sBOmI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jenkinsci-dev/DB14F1A8-672F-40CE-A999-105B4BE9F70C%40beckweb.net. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAAT-2mW_OuL6oc%2BiSPKHDskp9Z-TeCA_s4cpLz9DGUQXPurYeA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
