[Kimchi-devel] [PATCH 07/10] bug fix: Let package manager tool create the repository ID