44116a
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