4c7aaa add a step to flag the PR from the jenkins job

1 file Authored by Brian Stinson 6 years ago , Committed by Pierre-Yves Chibon 6 years ago ,
    add a step to flag the PR from the jenkins job
    
        
file modified
+17 -1