scripts

This repo contains scripts that I use to make my life easier.

The development mainly happens in a private repo, and then I merge the publishable changes here.