Skip documentation update if CI build is invoked due to a pull request.