local origin="$2"
if [ ! -d "${repodir}" ] ; then
- git clone --bare "${origin}" "${repodir}"
+ git clone --mirror "${origin}" "${repodir}"
fi
pushd "$repodir"
popd
##
-# Ubuntu kernels
+# EL kernel RPMs
##
+update_git rocky.git/ https://git.rockylinux.org/staging/rpms/kernel.git
-update_git ubuntu-xenial.git/ https://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/xenial
+##
+# SLES kernels
+##
+update_git sles.git/ https://github.com/SUSE/kernel.git
-update_git ubuntu-bionic.git/ git://kernel.ubuntu.com/ubuntu/ubuntu-bionic.git
+##
+# Ubuntu kernels
+##
update_git ubuntu-focal.git/ git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/focal
update_git ubuntu-jammy.git/ git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/jammy
+update_git ubuntu-noble.git/ git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/noble
+
##
# GDB repos
##