Learn more about these different git repos.
Other Git URLs
0bb232d
fix `is_strict_physical_subpath / /` and code cleanup