Fix Travis-CI PR detection