[pacman-dev] [PATCH 5/6] repo-add: document -k option