$ git clone -n https://src.fedoraproject.org/rpms/armadillo.git /var/lib/mock/f33-build-346160-59395/root/chroot_tmpdir/scmroot/armadillo
Cloning into '/var/lib/mock/f33-build-346160-59395/root/chroot_tmpdir/scmroot/armadillo'...
$ git reset --hard 0f544775a9874d80d9221779b5eef3dee783823b
HEAD is now at 0f54477 make extra_options empty in the correct way