[Kimchi-devel] [PATCH 4/4] Start up Kimchi even if no repo management tool was identified