Source: http://bruno.im/2012/oct/24/github-pull-requests-status-jenkins/