Learn more about these different git repos.
Other Git URLs
7cfe897
update docs to correct the steps of setting up dev env