So far I’ve editing posts directly in the github repository, but of course what I really want is to create posts on my laptop and push them to github. So this is me having a go at that…

Update

It took a bit of messing about with SSH and public keys and so forth, but it looks like I got there in the end!