dist.ini: fix repo url