Re: [arch-releng] [PATCH 08/10] Fix creation of [core] repository