davemachado/travis-github-pr-bot

A simple callback to github from travis to comment on the PR that started the build.