RE: Suggested github housekeeping - stale branches

> If you're happy for me to go ahead, I can delete all branches that have been merged/closed at least (leaving the ones that are still open, though they'll be the trickier ones to get rid of)

Please do, with thanks.

I know theoretically nothing is lost and any content is still available, but for my own peace of mind I've taken a local backup of the repo.

Thanks,

-Alastair

Received on Thursday, 16 September 2021 08:25:34 UTC