$ git clone -n http://fedora.riscv.rocks:3000/davidlt/opensbi-unstable.git /var/lib/mock/f32-build-118875-36320/root/thebuilddir/tmp/scmroot/opensbi-unstable Cloning into '/var/lib/mock/f32-build-118875-36320/root/thebuilddir/tmp/scmroot/opensbi-unstable'... $ git reset --hard 85278643f158acdf58ddec8be607c4fa46b86bbb HEAD is now at 8527864 Fix kernel install