Re: Conversion to git

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

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

Yes. In this case I think that's the best way. Johan