This repository has been archived on 2020-04-08. You can view files and clone it, but cannot push or open issues or pull requests.
TODO
Need to take into account whether git cloning is via ssh (when need to be able
to make git commits to remote) or via http (when read only access is required).
Could just have a git base url that is set in config.sh - will this be sufficient?