GitHub pages

Configure GitHub Pages to be used as a mirror for the documentation.