<br><br><div class="gmail_quote">On Tue, Apr 5, 2011 at 1:38 AM, Ian Lynagh <span dir="ltr">&lt;<a href="mailto:igloo@earth.li">igloo@earth.li</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Mon, Apr 04, 2011 at 06:26:10PM +0200, Lennart Kolmodin wrote:<br>
&gt;<br>
&gt; I see that there is now a repo on github:<br>
&gt; <a href="https://github.com/ghc/packages-binary" target="_blank">https://github.com/ghc/packages-binary</a><br>
&gt; However, it&#39;s a completely different conversion from darcs than the one I<br>
&gt; did earlier.<br>
&gt;<br>
&gt; Please base the GHC copy of binary on the conversion I&#39;ve already done, as<br>
&gt; both Johan and I have done work in this repo. You won&#39;t be able to pull the<br>
&gt; changes otherwise.<br>
<br>
</div>What&#39;s the best way to do that, given people already have the other repo<br>
checked out? i.e. can we do better than asking everyone to<br>
    rm -rf libraries/binary<br>
    ./sync-all get<br>
?<br></blockquote><div><br></div><div><br></div><div>I guess a hack would be to check for a commit hash id we know exists in your conversion of the repo, which won&#39;t exist in my copy of it.</div><div>If so, remove the repo and fetch again?</div>
<div><br></div><div>Lennart</div><div><br></div><div> </div></div>