Learn more about these different git repos.
Other Git URLs
da1f179
Expand on comments for 481811e76908f50b The commit message for 481811e76908f50bd50676ac9eb0c5b76c70c2fc isn't quite right about the circumstances where it's needed, but the effect is right.