Learn more about these different git repos.
Other Git URLs
294547f
MAN: clarify which shell option takes precedence