Re: Pruning dead branches

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Sun, 30 Jan 2022 18:43:33 +0100
> Cc: emacs-devel@gnu.org
> 
> Juri Linkov <juri@linkov.net> writes:
> 
> > I deleted my merged branches.  But for unmerged old branches,
> > is it ok to move them to old-branches with:
> >
> >   git push origin origin/name:refs/heads/old-branches/name :name
> 
> If the code is never going to be merged, then deleting the branches
> would be best, I think?  But I have no strong opinion here.  Eli?

Yes, we should not keep old branches that have no value.  If they do
have some value, I see no reason to rearrange them -- just leave them
alone.

(Perhaps we should have some etc/BRANCHES file with short descriptions
of the branches we want to keep indefinitely.)