$ git clone -n https://src.fedoraproject.org/rpms/coin-or-HiGHS.git /var/lib/mock/f41-build-831362-156871/root/chroot_tmpdir/scmroot/coin-or-HiGHS
Cloning into '/var/lib/mock/f41-build-831362-156871/root/chroot_tmpdir/scmroot/coin-or-HiGHS'...
$ git reset --hard f41fcf1b23ff4a724d4e7f9a2ba7460d113cd01b
HEAD is now at f41fcf1 Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild