44116ae We were trying to have jenkins checkout the proper PR branch but the ci

1 file Authored by bstinson 6 years ago, Committed by pingou 6 years ago,
    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
    
        
file modified
+2 -6