Jenkins integration with GitHub pull requests