I get that we can nuke branches that have the info duplicated in tags (i.e., release branches) or that have nothing to offer (i.e., have no commits ahead of dev). But for the other branches, it could be useful to keep the commit history. Is there any way to delete the branch from view in such a way that it could be recovered by the curious?

And in either case (trying to keep history, and not) how does one delete a branch?

here’s yet another(?) proposal for housekeeping: Both Stylesheets and Guidelines repo feature various stale branches which I would like to get rid off [1,2]. Some of those are prefixed with a Councilists name so I encourage everyone to look through his/her branches and eventually delete outdated/unused/forgotten branches.

Some of the stale branches are even just behind dev without featuring any commits *ahead* of dev (e.g. the TEI/help branch). I think those can safely be removed and would do so in the next days if no one objects. This does include release branches which I’d also like to get rid of because IMHO they do not serve any purpose anymore (the important information is kept in the tags).