Learn more about these different git repos.
Other Git URLs
be242e9
Silence warning about dead assignment.