Actually, just disabling pull request building from the travis.ci interface.