[Kimchi-devel] [PATCH 01/10] bug fix: Expose repository management tool name