Re: [Tei-council] housekeeping: delete stale branches

Am 10.06.2020 um 19:16 schrieb Bauman, Syd :

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). Yes, that’s my proposal.

But for the other branches, it could be useful to keep the commit history. I wouldn’t touch these but would encourage the „owner“ to revisit this branch and whether it’s still necessary/helpful to keep it

Is there any way to delete the branch from view in such a way that it could be recovered by the curious? No, not that I know

And in either case (trying to keep history, and not) how does one delete a branch? It’s easy via the GitHub branches page: https://github.com/TEIC/TEI/branches

Best Peter