Don't worry, I do understand Git, and I think you've completely missed the point I was making and thus fallen for the exact trap that I'm pointing out :) The h

Don't worry, I do understand Git, and I think you've completely missed the point I was making and thus fallen for the exact trap that I'm pointing out :) The huge importance of all that data "that's not part of Git", and the workflow and skill set around it. Add to that a growing body of developers who don't actually know Git, but do know how to press the button in GitHub. I don't make any claim for the particular JDK project here, but people _are_ migrating to GitHub, not Git.