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?
|