Update repos-json.js