<div dir="ltr">On 3 February 2018 at 02:08, Alejandro Enedino Hernandez Samaniego <span dir="ltr">&lt;<a href="mailto:alejandr@xilinx.com" target="_blank">alejandr@xilinx.com</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Good to hear from you!, I thought git mv automatically did that, I was actually surprised it didnt but I didn’t spend too much time on that either.<br></blockquote><div><br></div><div>So &#39;git mv&#39; is just a easy way of doing &#39;cp old new; git add new; git rm old&#39;.  The delete/creation -&gt; rename magic is a heuristic at patch generation time based on how similar files are when there is a create/delete pair.</div><div><br></div><div>Ross </div></div></div></div>