Learn more about these different git repos.
Other Git URLs
44116ae
We were trying to have jenkins checkout the proper PR branch but the ci script already does this. The CI script just needs a copy of itself from master, and it will do the right thing. Merges https://pagure.io/pagure/pull-request/3154