Learn more about these different git repos.
Other Git URLs
62b4ce7
Use realpath() to try to sanity-check $HOME