use repos.txt instead of config.json in js/main.js