Github wasn't owned by Microsoft when many of us started using it.