Re: remote branches

[Jonas Hahnfeld]

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

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