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