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

1 file Authored by Brian Stinson 6 years ago , Committed by Pierre-Yves Chibon 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