When github was getting popular it was not owned by MS.
When github did not pull this sort of shenanigans it was not owned by MS.
When github did not pull this sort of shenanigans it was not owned by MS.