Instead of exiting the session script, populate the git repositories with an error file, e.g. ERROR: could not contact the git proxy.
suggestion: similar to the other comment - we can lave a text file here with an error message that explains why we could not clone the repo.
Originally posted by @olevski in #1001 (comment)