[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: problem with git pull -r

From: Jonas Hahnfeld
Subject: Re: problem with git pull -r
Date: Thu, 21 Nov 2019 16:45:44 +0100
User-agent: Evolution 3.34.1

Am Donnerstag, den 21.11.2019, 16:30 +0100 schrieb Werner LEMBERG:
> > Below is the console output.  Any ideas?
> Clone the repository anew, and everything should be fine again.

This works of course but is pretty destructive. A simple
 $ git fetch --prune
did the job for me. This removes branches under origin/ that don't
exist anymore on the server. In this case, it gets rid of
origin/dev/jmandereau which is now a directory (not sure if that is the
right term for git branches, but the corresponding (local)
.git/refs/remotes/origin/dev/jmandereau/ is now directory).


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]