Unless I missed something, it seems like this would build and push the docs every time a successful Travis build occurs - including unmerged PRs. I think we'll want to restrict updates to changes to the master dev branch (i.e. merged PRs).