$ git clone -n https://src.fedoraproject.org/rpms/cvc4.git /var/lib/mock/f31-build-115001-34485/root/chroot_tmpdir/scmroot/cvc4
Cloning into '/var/lib/mock/f31-build-115001-34485/root/chroot_tmpdir/scmroot/cvc4'...
$ git reset --hard e32cd51007114a5d1d30285f583e0dab3ed5379c
HEAD is now at e32cd51 Add -drat patch to fix build with latest lfsc.