[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