Learn more about these different git repos.
Other Git URLs
7070660
Adjust a little bit the doc as we rework the shell script