Learn more about these different git repos.
Other Git URLs
3dda2f5
handle internal_dev_setup opt earlier