|
| From: | Stefan Kangas |
| Subject: | Re: Pruning dead branches |
| Date: | Sun, 23 Jan 2022 20:58:16 +0000 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> I think many are branches that have been
> merged, but just not deleted.
I believe you could list all such branches with:
git branch --all --merged origin/master
| [Prev in Thread] | Current Thread | [Next in Thread] |