Rename repos (but do not break old names!)
dl.jami.net/ring-nightly => dl.jami.net/nightly dl.jami.net/ring-internal => dl.jami.net/internal dl.jami.net/ring => dl.jami.net/stable
dl.jami.net/ring-nightly => dl.jami.net/nightly dl.jami.net/ring-internal => dl.jami.net/internal dl.jami.net/ring => dl.jami.net/stable