個人webサイト用リポジトリ 動作環境 python 3.8.8 ローカルでのプレビュー $ mkdocs serve GitHub Pagesへのデプロイ mainにpushするだけ or $ mkdocs gh-deploy (こっちのほうが確実? 特に初回は??)