Turns out $TRAVIS_PULL_REQUEST is the PR number, not a sha1