$ git clone -n https://src.fedoraproject.org/rpms/minisat2.git /var/lib/mock/f31-build-55865-28162/root/thebuilddir/tmp/scmroot/minisat2
Cloning into '/var/lib/mock/f31-build-55865-28162/root/thebuilddir/tmp/scmroot/minisat2'...
$ git reset --hard a4a8ad2ec46f12506b2efaaa9f8832de0ea13ca3
HEAD is now at a4a8ad2 Add Debian patch to fix C++ syntax.