Either `git remote prune origin` or `git fetch --prune` should be used so that if `--shallow` is removed from `OMERO-push`, the `OMERO-build` step will not fail on trying to checkout scripts.