$ git clone -n https://src.fedoraproject.org/rpms/z3.git /var/lib/mock/f37-build-side-32-misc-devel-328804-15302/root/chroot_tmpdir/scmroot/z3
Cloning into '/var/lib/mock/f37-build-side-32-misc-devel-328804-15302/root/chroot_tmpdir/scmroot/z3'...
$ git reset --hard aca6b5306f4f5479147e06742d1a853fe260ed8d
HEAD is now at aca6b53 Add -data-race patch to fix segfault (bz 2157972).