[pacman-dev] [PATCH 1/3] repo-add: use pushd/popd