mrconfig: remove defunct repository