Conversion to git

Edward Z. Yang ezyang at MIT.EDU
Wed Apr 6 13:56:17 CEST 2011

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 your
> 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.


More information about the Libraries mailing list