Fix missing repo_name file