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

[Andrew Dinn]

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.

regards,


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