Learn more about these different git repos.
Other Git URLs
ef26c43
print the unrecognized-option error ourselves (#756291)