did someone turn off travis

Auto cancel pull request builds

? seems useful, even if it's best effort