<div dir="ltr">The github mirror also seems sad:<blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><a href="https://github.com/WebKit/webkit/commits/master">https://github.com/WebKit/webkit/commits/master</a></div></blockquote><div>It&#39;s at r212950.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 24, 2017 at 11:29 AM, Carlos Alberto Lopez Perez <span dir="ltr">&lt;<a href="mailto:clopez@igalia.com" target="_blank">clopez@igalia.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 24/02/17 20:16, Alexey Proskuryakov wrote:<br>
&gt;<br>
&gt; How does one create a local git-svn checkout to try this out? Given that<br>
&gt; the offending file has been effectively deleted from svn, I think that<br>
&gt; git-svn should work too.<br>
<br>
</span>You have the script:<br>
Tools/Scripts/webkit-patch setup-git-clone<br>
<br>
And there is more doc here:<br>
<a href="https://trac.webkit.org/wiki/UsingGitWithWebKit" rel="noreferrer" target="_blank">https://trac.webkit.org/wiki/<wbr>UsingGitWithWebKit</a><br>
<br>
I can confirm that now it seems to work :) Thanks.<br>
<br>
Also the git mirror is now updated beyond r212951.<br>
<br>
How do you fixed this?<br>
<br>
I see now that the files on r212951 have different sha1 hashes:<br>
<br>
$ svn co <a href="https://svn.webkit.org/repository/webkit/trunk/LayoutTests/http/tests/cache/@r212951" rel="noreferrer" target="_blank">https://svn.webkit.org/<wbr>repository/webkit/trunk/<wbr>LayoutTests/http/tests/cache/@<wbr>r212951</a><br>
<br>
$ find cache/|grep pdf|xargs sha1sum<br>
1880d3e60a5f888c5eb077dd6c52a9<wbr>a80423d971  cache/disk-cache/resources/<wbr>shattered-1-nocollision.pdf<br>
38762cf7f55934b34d179ae6a4c80c<wbr>adccbb7f0a  cache/disk-cache/resources/<wbr>shattered-1.pdf<br>
682ca0c01721fe5e49a91da2253b4a<wbr>a2fe2cde1c  cache/disk-cache/resources/<wbr>shattered-2-nocollision.pdf<br>
<br>
<br>
<br>______________________________<wbr>_________________<br>
webkit-dev mailing list<br>
<a href="mailto:webkit-dev@lists.webkit.org">webkit-dev@lists.webkit.org</a><br>
<a href="https://lists.webkit.org/mailman/listinfo/webkit-dev" rel="noreferrer" target="_blank">https://lists.webkit.org/<wbr>mailman/listinfo/webkit-dev</a><br>
<br></blockquote></div><br></div>