Fix github user name for repository