HEAD is needed for Travis CI