Learn more about these different git repos.
Other Git URLs
f57a4ac
allow the base work directory to be configurable.