RFC: jenkins pipeline