Learn more about these different git repos.
Other Git URLs
1a07f1c
Catch the case where there is no branch merge point (#622592)