[Tutti-commits] 07/26: be able to change distro url