Updates to the problem: Jonas used plain ``[username]@js4.es.aau.dk/[dir]`` (without any prefix), which also works with git apparently. I suggest that we set the protocol handler to default (specified) value if the main project protocol is not supported by github. That is, instead of doing a fatal error and terminate, just fallback to default. I will adjust this in the code, hang on.

One question though, can a user without write permissions check out the dependencies using the ``git@`` protocol?