This post is for anyone who wants to change their GitHub repos from master to main. GitHub changed the default repo branch name to main. I want to change all my GitHub repo's default branch from master to main.

The short version

If you are comfortable with git and the …

This is the seventh part of a multi-part series on how I built this site. In last post, we added two new pages to our site. An About page and a Book page. In this post, we are going to deploy the site to github pages. Github pages is a place on GitHub.com were documentation and static sites can be hosted.

This is the sixth part in a multi-part series on how I built this site. In the last post, we put a search bar at the top right of each page and some css and javascript in order to make tables on the site look better. In this post we are going to add two new pages to our static site. An About page and a Book page. These new pages will have menu entries at the top of our site.