$ git clone -n https://src.fedoraproject.org/rpms/armadillo.git /var/lib/mock/f33-build-180075-45135/root/chroot_tmpdir/scmroot/armadillo
Cloning into '/var/lib/mock/f33-build-180075-45135/root/chroot_tmpdir/scmroot/armadillo'...
$ git reset --hard 031db173f0cea737857fd28f8ee547947f6ce772
HEAD is now at 031db17 update to 9.860.1