On 6/7/2018 10:17 AM, H. S. Teoh wrote:
Exactly!!! Git was built precisely for decentralized, distributed development. Anyone should be (and is, if they bothered to put just a tiny amount of effort into it) able to set up a git server and send the URL to prospective collaborators. Anyone is free to clone the git repo and redistribute that clone to anyone else. Anyone can create new commits in a local clone and send the URL to another collaborator who can pull the commits. It should never have become the tool to build walled gardens that inhibit this free sharing of code.
We have more on Github than just the source code. There are all the comments that go with the PRs. I have most of this archived, as they get emailed to me by Github, but not all of it and recreating all this priceless historical information into a usable form would be very burdensome.
