Re: [arch-releng] [RFCv2] [PATCH] [configs/releng] Replace wget with pacman for make_core_repo()