$ git clone -n https://src.fedoraproject.org/rpms/eigen3.git /var/lib/mock/f37-build-side-32-misc-devel-166383-11398/root/chroot_tmpdir/scmroot/eigen3
Cloning into '/var/lib/mock/f37-build-side-32-misc-devel-166383-11398/root/chroot_tmpdir/scmroot/eigen3'...
$ git reset --hard f987eeefd7333c7b49f124fc484baeb51c0e9644
HEAD is now at f987eee Drop eigen_mma.patch