was ede90395f3e985505b0f34bacae61058504d622b ----------------------------------------------------------------------- ede90395f3e985505b0f34bacae61058504d622b 17296: Disentangle docker-specific code, add singularity option. ----------------------------------------------------------------------- hooks/post-receive --