Does GitHub need to do anything beyond hosting git repos, though?