$ git clone -n https://src.fedoraproject.org/rpms/ghc-uri-encode.git /var/lib/mock/f33-build-348355-59686/root/chroot_tmpdir/scmroot/ghc-uri-encode Cloning into '/var/lib/mock/f33-build-348355-59686/root/chroot_tmpdir/scmroot/ghc-uri-encode'... $ git reset --hard 73559b846ee8ef53ec333b6887399ef01d3d0c61 HEAD is now at 73559b8 fix doc file perms (#1873973) and bump release over Agda