This repository contains both the source code for building, and the actual content of my personal website. I use the static site generator lektor for generating the pages of this website and the hyde theme for the layout (which I adapted for use with lektor). Upon pushing updates to the master branch of this repository, things are configured such that the website is automatically re-built using GitHub Actions, and the updates are pushed to the gh-pages branch.

• For more on lektor, see this introductory blog post.
• For more on automating lektor builds for GitHub pages with GitHub Actions see here and here.