On Thu, Nov 21, 2019 at 9:45 AM Jonas Hahnfeld <hah...@hahnjo.de> 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
