Issue: PR build using wrong commit entirely (Migrated from GitHub)

Travis gets the source from a special Github’s ref linked to the PR, there’s no way to detect if Github “pulled the rug from underneath us” and changed its contents midway.

So the expected behavior would probably be to cancel the build if the PR branch is force-pushed (not sure if regular pushing also applies).