$ git clone -n https://src.fedoraproject.org/rpms/hpl.git /var/lib/mock/f31-build-53227-27827/root/thebuilddir/tmp/scmroot/hpl
Cloning into '/var/lib/mock/f31-build-53227-27827/root/thebuilddir/tmp/scmroot/hpl'...
$ git reset --hard 4b6f68b92b4c0da6baa3e20cab1aa7aff9b46fb4
HEAD is now at 4b6f68b Rebuild for openmpi 3.1.3