1. suggest to leave openmandriva/kernel as it is
2. drop all unused repos like kernel-rt,rc etc
29.10.2019, 14:08, "Tomasz Gajc" <tpg...@gmail.com>:
-- Cooker mailing-list https://www.openmandriva.org/listsHi,i have a suggestion to tidy up our kernel repositories. Currently we have these:openmandriva/kernel
openmandriva/kernel-rt
openmandriva/kernel-rc
openmandriva/kernel4.17
openmandriva/kernel4.18
openmandriva/kernel-rpi3
openmandriva/kernel-linus
openmandriva/kernel-release
openmandriva/kernel-wandboard
openmandriva/kernel-sabreboard
openmandriva/kernel-release-clang
openmandriva/acer_switch_12_alpha_kernelI'd like to propose to:1. rename openmandriva/kernel to openmandriva/linux2. provide linux named packages rather than kernel i.e linux-desktop, linux-server etc.3. Move openmandriva/kernel-release to openmandriva/linux4. Drop from abf and github openmandriva/kernel-rt openmandriva/kernel-rc openmandriva/kernel4.17 openmandriva/kernel4.18 openmandriva/kernel-linusĀ openmandriva/kernel-releaseWDYT ?