fix a # of repos with incorrect name