$ git clone -n https://src.fedoraproject.org/rpms/clingo.git /var/lib/mock/f37-build-639022-71078/root/chroot_tmpdir/scmroot/clingo
Cloning into '/var/lib/mock/f37-build-639022-71078/root/chroot_tmpdir/scmroot/clingo'...
$ git reset --hard 725ac120d435e4fec1411201b7c5a0f4ba2931ef
HEAD is now at 725ac12 Update to 5.6.1