Learn more about these different git repos.
Other Git URLs
69e77dd
Make the other makefile vars here explicit now.