• Building and publishing docs on GitHub Pages