Tool to be used in order to process pull requests for Github projects and send them to a Jenkins server