[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: problem with git pull -r
From: |
David Nalesnik |
Subject: |
Re: problem with git pull -r |
Date: |
Thu, 21 Nov 2019 10:26:17 -0600 |
On Thu, Nov 21, 2019 at 9:45 AM Jonas Hahnfeld <address@hidden> wrote:
>
> 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. T
> Regards,
> Jonas
Did the trick for me too. Thanks!
David N