2 ms·
I get that but I think by saying "Github" instead of "git" one is emphasizing the social and collaborative aspects of Github over plain git. My 2 cents anyway.
by gigatexal 6y ago
I get that but I think by saying "Github" instead of "git" one is emphasizing the social and collaborative aspects of Github over plain git. My 2 cents anyway.
- giomasce 6y agoThat would make it even more wrong, since it seems from the JEPs that, at least for the time being, they're only using GitHub as hosting service. No wikis, PRs, issues and so on.
- elygre 6y agoThey will use pull requests, but it is a design goal for the process to be somewhat independent of GitHub. For more detailed information, the OpenJDK mailing lists archive is a good source.