Re: New candidate JEP: 357: Migrate from Mercurial to Git – GitHub issues and the Network effect

Andrew Dinn adinn at
Fri Jul 26 13:42:26 UTC 2019

On 26/07/2019 13:08, František Kučera wrote:
> Dne 26. 07. 19 v 12:22 Emmanuel Bourg napsal(a):
>> Assuming the OpenJDK Git repository is first self hosted, a later move
>> to GitHub
> However there are many developers with GitHub account for whom it might
> be comfortable to clone the repository on GitHub and then use the „pull
> request“ feature there – using such a proprietary service like GitHub
> might be also a barrier for contributors.  . . .
Can we please hold off this discussion about Github hosting and use of
PRs for a later date. The assumption that we might blithely switch over
to using them (or even incorporate them into our current practice) is
questionable on a variety of grounds and is certainly not going to be
agreed without a great deal of (probably somewhat heated) discussion.
However, that is a separate step from what is being discussed at
present. I think it would be best just to concentrate on the current
proposed change.


Andrew Dinn
Senior Principal Software Engineer
Red Hat UK Ltd
Registered in England and Wales under Company Registration No. 03798903
Directors: Michael Cunningham, Michael ("Mike") O'Neill, Eric Shander

More information about the discuss mailing list