[pacman-dev] [PATCH 4/6] repo-add.sh.in : repo-remove improvements