[pacman-dev] [PATCH] repo-add: make --quiet output more quiet