Re: [Kimchi-devel] [PATCH 00/10] Fixes on repository management feature