<div dir="ltr">Giving at least one explicit:<br><br>Sounds good to me.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, May 4, 2020 at 12:01 PM Zola Bridges via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Here is a link to the patch: <a href="https://reviews.llvm.org/D79348" target="_blank">https://reviews.llvm.org/D79348</a><div><br clear="all"><div><div dir="ltr"><div dir="ltr">Zola Bridges</div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, May 4, 2020 at 11:50 AM Zola Bridges <<a href="mailto:zbrid@google.com" target="_blank">zbrid@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi everyone,<div><br></div><div>I would like to delete this folder of svn to git migration tools.</div><div><a href="https://github.com/llvm/llvm-project/tree/master/llvm/utils/git-svn" target="_blank">https://github.com/llvm/llvm-project/tree/master/llvm/utils/git-svn</a></div><div><br></div><div>My understanding of these tools is that they were useful for when we were migrating between Git and SVN, but now, since the migration is complete, they can be deleted as they are either unnecessary or there are other more common workflow options (ie git llvm push --> git push).<br></div><div><ul><li>Is there any reason these scripts should continue to exist that I'm not aware of?</li><li>I'd like to delete these next Monday. Is that timeline unacceptable to anyone?</li></ul></div><div>Thanks,<br clear="all"><div><div dir="ltr"><div dir="ltr">Zola Bridges</div></div></div></div></div>
</blockquote></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>