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

Hi Peter— I just deleted my stale branch on Stylesheets. I’ve got a couple *sort of* active branches on the Guidelines repo attached to issues that I need to continue, but I think I should rename them so they no longer contain my initials but are associated with the issues I’m working on. (And those branches require updating too.) I’ll get to that eventually! Thanks, Elisa Sent from my iPhone

On Jun 10, 2020, at 2:55 PM, Peter Stadler wrote:



...

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

_______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council