Learn more about these different git repos.
Other Git URLs
5854255
Introduce the pagure_ci_jenkins doc, specific for jenkings/pagure integration