2016-03-13, 15:00
Maybe simply redirect the URL at server side as long as the repository is not alive. Anyway it's not a big issue. I download the zip files at the old repository. I think it's just a problem for user which start with a clean install or make a factory reset of the upgraded system.