> On 27.09.2016, at 22:09, Ben Patterson <[email protected]> wrote: > > 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.
Breaking the connection shouldn't need that -- we could delete the repo, create a new one, then push --mirror to get a similar effect. That said, maybe inverting the link, making jenkinci's the root of the network, would be preferable? Otherwise it's disconnected from all existing forks. -- 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/9CCB5398-6D4E-4C60-AC9D-48604129CE27%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
