$ git clone -n https://src.fedoraproject.org/rpms/gnome-shell-extension-no-overview.git /var/lib/mock/f38-build-side-42-init-devel-444529-20478/root/chroot_tmpdir/scmroot/gnome-shell-extension-no-overview
Cloning into '/var/lib/mock/f38-build-side-42-init-devel-444529-20478/root/chroot_tmpdir/scmroot/gnome-shell-extension-no-overview'...
$ git reset --hard cc6f326341cddaaa24793e585ec572d6cd936fc7
HEAD is now at cc6f326 Bump to 13