Skip to content

travis: check for commits touching external

Douglas Raillard requested to merge github/fork/douglas-raillard-arm/_pr39 into next

This still allows merge commits touching that location. The squashed commit produced by git subtree is fine since it does not refer to "external/" (path rewriting is done in the merge commit).

Also fixes various Travis issues.

Merge request reports