Migrate GitHub pages setup on gh-pages to docs/ #87
Description
This will maintain the existing GitHub Pages based publishing workflow, but make it so that changes are automatically when changes are made to docs/ in the mainline branch.
{{ message }}