Add repos.txt.