A trigger developed to check Github for open pull requests and start a job in Jenkins