[pacman-dev] [PATCHv2] skip unknown repo names for pacman -Sl