It's an ill wind. I dropped my old digital scale, which sprang apart. So I had to get a new one. And the new on wasn't too expensive and is much easier to use. In the end, I'm glad I dropped the old one, which had been incredibly frustrating but, because it still worked, could not be got rid of.
@matigo Something beyond my understanding. There's a plugin for Grav that promises to do two-way sync for Grav so in theory (and in practice if you're not me) you can create new posts live in production or in github and each will sync to the other. I'm pretty sure it would work well if you enabled it at the outset, rather than try to force it to use an existing repo. I tried that, and it did all sorts of weird things that completely messed up the back end.
Lesson learned.
@whoisashygirl The trouble is, if you just go, nobody much will notice and nothing much will change. If you go and say why, there's a chance people will pile in on you elsewhere. I've a slight preference for the former.
Well, that was a complete waste of a morning. I managed to completely bork my site. And then slowly, step by step, unborked it. Which is a goodish feeling.
@matigo We seem to have had days and days of rain too. The big problem here is laundry, because we don’t have a drier. So there are clothes festooned around the house.