Update pull-jenkins.js