Learn more about these different git repos.
Other Git URLs
b4f45f8
Apply patch from Marco Ceci to fix #358161