Who knows how many things GitHub does are actually embedded into git itself :)