On Tue, Apr 5, 2011 at 1:38 AM, Ian Lynagh <igloo at earth.li> 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