If GitHub is doing 90% more than Git does, "GitHub" is a terrible name for it.