[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Pruning dead branches

From: Eli Zaretskii
Subject: Re: Pruning dead branches
Date: Sun, 30 Jan 2022 20:30:07 +0200

> 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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]