Renamed GitHub repos.