jenkins loves pull requests