mrconfig: fix ASA repository URL