Fix github repository name