Learn more about these different git repos.
Other Git URLs
960c1f8
be a little more paranoid about undoing opts/environ mangling