Re: remote branches

[Jonas Hahnfeld]

Am Dienstag, den 27.10.2020, 09:23 +0100 schrieb Thomas Morley:
> Hi,
> 
> if I do
> git branch -a
> on my local repository I see a plethora of branches like:
> remotes/origin/dev/harm/cleanup-fret-diagrams.scm
> 
> The patch this branch was used for was merged some time ago and I
> always initiated to delete the source branch.
> 
> Why is this branch still there?

git doesn't delete remote branches on its own, you should do
 $ git fetch -p origin (short for --prune)
once in a while.

Jonas

signature.asc
Description: This is a digitally signed message part