Conversion to git
kolmodin at gmail.com
Wed Apr 6 14:04:09 CEST 2011
(first sent only to Edward by mistake)
On Wed, Apr 6, 2011 at 1:56 PM, Edward Z. Yang <ezyang at mit.edu> wrote:
> Excerpts from Lennart Kolmodin's message of Wed Apr 06 07:16:01 -0400 2011:
> > I guess a hack would be to check for a commit hash id we know exists in
> > conversion of the repo, which won't exist in my copy of it.
> > If so, remove the repo and fetch again?
> In that case, you should also check for local changes.
True, it'd be annoying to lose any work. Maybe just to die with instructions
on how to proceed?
This could be done in combination with warning everybody over the mailing
lists too, obviously.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries