How did people forget that github was purchased by that one company?