$ git clone -n http://fedora.riscv.rocks:3000/rpms/kernel.git /var/lib/mock/f41-p550-864921-172644/root/chroot_tmpdir/scmroot/kernel Cloning into '/var/lib/mock/f41-p550-864921-172644/root/chroot_tmpdir/scmroot/kernel'... $ git fetch origin 4dea8b5df054938378cda63555e1d7dee3e9d935:KOJI_FETCH_HEAD From http://fedora.riscv.rocks:3000/rpms/kernel * [new ref] 4dea8b5df054938378cda63555e1d7dee3e9d935 -> KOJI_FETCH_HEAD $ git reset --hard KOJI_FETCH_HEAD Updating files: 86% (191/222) Updating files: 87% (194/222) Updating files: 88% (196/222) Updating files: 89% (198/222) Updating files: 90% (200/222) Updating files: 91% (203/222) Updating files: 92% (205/222) Updating files: 93% (207/222) Updating files: 94% (209/222) Updating files: 95% (211/222) Updating files: 96% (214/222) Updating files: 97% (216/222) Updating files: 98% (218/222) Updating files: 99% (220/222) Updating files: 100% (222/222) Updating files: 100% (222/222), done. HEAD is now at 4dea8b5df Ppatch to improve fan behavior, unset CONFIG_RISCV_SBI_V01, switch to vmlinuz.efi tgt