devspace
devspace copied to clipboard
Add prune to submodule step
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.