Learn more about these different git repos.
Other Git URLs
506dda4
- distinguish between (stat() succeeds but isn't a directory) and (stat() fails) (#739903)