Conversion to git

[Ian Lynagh]

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
?


Thanks
Ian