My personal GitHub Pages site.
The actual site is served from docs/
on the published
branch.
To publish the currently checked out branch, run nix develop -c ./publish
. The
publish
script syncs the relevant branches and generates the site, committing it to
published
and pushing to GitHub. After pushing, you can see the status of the site deployment
here. It takes about a minute
after pushing for the changes to show up on the blog.