Learn more about these different git repos.
Other Git URLs
ef713e9
mention REPO and BRANCH in the development documentation