$ git clone -n http://fedora-riscv.tranquillity.se:3000/davidlt/opensbi-unstable.git /var/lib/mock/f31-build-96051-32800/root/thebuilddir/tmp/scmroot/opensbi-unstable Cloning into '/var/lib/mock/f31-build-96051-32800/root/thebuilddir/tmp/scmroot/opensbi-unstable'... $ git reset --hard fab442dfed60de21d9056b0267d1f6cb24e43738 HEAD is now at fab442d Do not use U-Boot files to find the latest kernel