Re: remote branches

[Thomas Morley]

Am Do., 29. Okt. 2020 um 12:12 Uhr schrieb Jonas Hahnfeld <hahnjo@hahnjo.de>:
>
> Am Dienstag, den 27.10.2020, 09:45 +0100 schrieb Thomas Morley:
> > Am Di., 27. Okt. 2020 um 09:36 Uhr schrieb Jonas Hahnfeld 
> > <hahnjo@hahnjo.de>:
> > >
> > > 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
> >
> > Works fine, many thanks.
> >
> > Though, I obviously misunderstood what deleting the source branch at
> > gitlab means or more precisely that my local remote one will be
> > unaffected.
> > Worth adding a note to CG?
>
> Sure, patches welcome
>
> Jonas

https://gitlab.com/lilypond/lilypond/-/merge_requests/562

Cheers,
 Harm