/dev/

This repo contains the data and tools needed to build and publish my personal webiste at https://dev.pippi.im. HTML contents are generated from Markdown sources using Hugo and hosted on GitHub Pages. A GitHub workflow automatically deploys the website at every commit on the master branch of this repo.