Fix repo-name definition