Learn more about these different git repos.
Other Git URLs
79f1c8b
remove merge option from edit-external-repo Related: https://pagure.io/koji/issue/1404