$ git clone -n https://src.fedoraproject.org/rpms/ghc-lens.git /var/lib/mock/f31-build-94245-32474/root/thebuilddir/tmp/scmroot/ghc-lens
Cloning into '/var/lib/mock/f31-build-94245-32474/root/thebuilddir/tmp/scmroot/ghc-lens'...
$ git reset --hard efce63b5813ff67a4107033db0c18f63ba5bd944
HEAD is now at efce63b BR prof for lib and static for executable