Learn more about these different git repos.
Other Git URLs
300fb75
Ancillary patch to fix another case; bz #327721