$ git clone -n https://src.fedoraproject.org/rpms/clingo.git /var/lib/mock/f33-build-557581-65631/root/chroot_tmpdir/scmroot/clingo
Cloning into '/var/lib/mock/f33-build-557581-65631/root/chroot_tmpdir/scmroot/clingo'...
$ git reset --hard 742d48f276698c65dffd1be53a0267027bb6363b
HEAD is now at 742d48f Update to 5.4.1