[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: problem with git pull -r
From: |
Dan Eble |
Subject: |
Re: problem with git pull -r |
Date: |
Thu, 21 Nov 2019 10:46:41 -0500 |
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