[Top][All Lists]

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

Re: Pruning dead branches

From: Lars Ingebrigtsen
Subject: Re: Pruning dead branches
Date: Sun, 30 Jan 2022 18:43:33 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)

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?

(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

reply via email to

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