[Top][All Lists]

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

Re: problem with git pull -r

From: Werner LEMBERG
Subject: Re: problem with git pull -r
Date: Thu, 21 Nov 2019 16:30:51 +0100 (CET)

> Below is the console output.  Any ideas?

Clone the repository anew, and everything should be fine again.

It seems that git has been upgraded on Savannah; a comparison between
the old and the new clone shows a lot of differences in the `.git'

Maybe they forgot to set a compatibility option?

Don't forget to `transfer' your old local branches before deleting the
old repository clone!  I only had two local ones, so it was rather
easy.  But I guess some of you have much more...

For good cooperation with Rietveld and Allura you should also transfer
the corresponding data to `.git/config'.


reply via email to

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