$ git clone -n http://fedora.riscv.rocks:3000/rpms/ghc9.10.git /var/lib/mock/f42-build-864452-172319/root/chroot_tmpdir/scmroot/ghc9.10 Cloning into '/var/lib/mock/f42-build-864452-172319/root/chroot_tmpdir/scmroot/ghc9.10'... $ git fetch origin b37f2bedacfdf9e40fe8d2878c1c8c082a47b022:KOJI_FETCH_HEAD From http://fedora.riscv.rocks:3000/rpms/ghc9.10 * [new ref] b37f2bedacfdf9e40fe8d2878c1c8c082a47b022 -> KOJI_FETCH_HEAD $ git reset --hard KOJI_FETCH_HEAD HEAD is now at b37f2be Remove upstreamed patch