On Tue, Apr 5, 2011 at 1:38 AM, Ian Lynagh <igloo@earth.li> wrote:
On Mon, Apr 04, 2011 at 06:26:10PM +0200, Lennart Kolmodin wrote:
>
> I see that there is now a repo on github:
> https://github.com/ghc/packages-binary
> 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?

Lennart