GitHub doc deployment to GitHub Pages