sebb Tue, 10 Aug 2021 16:09:53 -0700
There are quite a lot of stale branches in the repo. Can they be deleted?
In particular, is there any reason to keep the ones that have been merged? Sebb
