Re: [arch-releng] [RFC] [PATCH 2/3] [configs/releng] Use private pacman.db on make_core_repo