Conversion to git

Lennart Kolmodin kolmodin at
Wed Apr 6 13:16:01 CEST 2011

On Tue, Apr 5, 2011 at 1:38 AM, Ian Lynagh <igloo at> wrote:

> On Mon, Apr 04, 2011 at 06:26:10PM +0200, Lennart Kolmodin wrote:
> >
> > I see that there is now a repo on github:
> >
> > However, it's a completely different conversion from darcs than the one I
> > did earlier.
> >
> > Please base the GHC copy of binary on the conversion I've already done,
> as
> > both Johan and I have done work in this repo. You won't be able to pull
> the
> > changes otherwise.
> What's the best way to do that, given people already have the other repo
> checked out? i.e. can we do better than asking everyone to
>    rm -rf libraries/binary
>    ./sync-all get
> ?

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?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list