Documentation pushes are failing
See, e.g., https://travis-ci.org/uisautomation/iar-gatherstats
It may be related to https://github.com/travis-ci/travis-ci/issues/9312.
See, e.g., https://travis-ci.org/uisautomation/iar-gatherstats
It may be related to https://github.com/travis-ci/travis-ci/issues/9312.