$ git clone -n https://src.fedoraproject.org/rpms/Agda.git /var/lib/mock/f41-build-806066-13879/root/chroot_tmpdir/scmroot/Agda Cloning into '/var/lib/mock/f41-build-806066-13879/root/chroot_tmpdir/scmroot/Agda'... $ git fetch origin 1a1cd5d1e65e81889b3be3c5460a14bbdf9979d9:KOJI_FETCH_HEAD From https://src.fedoraproject.org/rpms/Agda * [new ref] 1a1cd5d1e65e81889b3be3c5460a14bbdf9979d9 -> KOJI_FETCH_HEAD $ git reset --hard KOJI_FETCH_HEAD HEAD is now at 1a1cd5d add bcond for Unicode cluster counting