Force Travis to build a specific pull request or commit SHA that it missed

Question

Is there a way to tell travis to build a specific SHA or the HEAD of a pull request that it might have previously missed (ie if the webhook failed to fire or get picked up by travis)?

I could push a new commit to that pull request, but a method that doesn't involve changing the branch would be better, either via the travis UI, or travis' or github's APIs.

Answer 1

What I've found works is to close the PR in GitHub, then immediately re-open it. That should re-trigger the hook.