Optional: Publish to github pages - draft

• Install git if you don't have it
• Create repo in github
• Follow instructions to do first commit and link to remote

For example

echo "# test_repo" >> README.md
git init
git add README.md
git commit -m "first commit"
git remote add origin [email protected]:pietrop/test_repo.git
git push -u origin master

• Activate github pages from docs folder in settings.

Documentation

• Installing git
• Create repo in github
• Simpler GitHub Pages publishing using docs folder in master branch.
• Github publish from docs folder
• Github pages documentation