Learn more about these different git repos.
Other Git URLs
54f047f
TaskManager: clean both result and results dirs fixes: #1988