Learn more about these different git repos.
Other Git URLs
0e1a0ee
omit_patch: Handle named patches too.