We'll switch serving vitess.io:
- before: from the gh-pages branch
- now: from the docs directory out of the master branch
This way it is much easier to update the website:
- no switching between branches required
- no untracked files get in our way in the gh-pages branch
- generated pages can be written in place and do not have to be moved around
- website can be updated and published in the same pull request
Michael Berlin