Re: problem with git pull -r

[Dan Eble]

On Nov 21, 2019, at 10:30, Werner LEMBERG <address@hidden> wrote:
> Clone the repository anew, and everything should be fine again.
> 
> 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'.


I would benefit from some specifics.  The only part of the above that I have 
done before is "clone the repository anew."

I guess we're not going to ask Savannah if they can change something on their 
end to make this unnecessary?
— 
Dan