GitHub could be acquired by Microsoft

[Walter Bright]

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.