https://www.cloudbees.com/blog/better-integration-between-jenkins-and-github-github-jenkins-plugin