Change in jenkins[master]: Improve pipeline-loader checkout_repo function