Build and prune docs for branches and tags
Also separated concerns between travis git initialization and pushing docs to the gh-branch.
Loading
Please register or sign in to comment
Also separated concerns between travis git initialization and pushing docs to the gh-branch.