$ git clone -n http://fedora.riscv.rocks:3000/rpms/ghc-tasty-quickcheck.git /var/lib/mock/f40-build-776864-129117/root/chroot_tmpdir/scmroot/ghc-tasty-quickcheck
Cloning into '/var/lib/mock/f40-build-776864-129117/root/chroot_tmpdir/scmroot/ghc-tasty-quickcheck'...
$ git fetch origin dd48c94b7ebe1b8e7db46b5f710b4b9e06c7bfec:KOJI_FETCH_HEAD
From http://fedora.riscv.rocks:3000/rpms/ghc-tasty-quickcheck
 * [new ref]         dd48c94b7ebe1b8e7db46b5f710b4b9e06c7bfec -> KOJI_FETCH_HEAD
$ git reset --hard KOJI_FETCH_HEAD
HEAD is now at dd48c94 Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: