Learn more about these different git repos.
Other Git URLs
98808c7
Remove dead code from sync_ptr_validate().