Fix github repo urls.