Learn more about these different git repos.
Other Git URLs
8a14f32
pulp: Always include explicitly mentioned repos When users specifies explicit repo ids, always include them in the final repo file. If the repo happens to be mentioned by a content set, do not add duplicated URLs. JIRA: RHELCMP-10865