git copy file, as opposed to `git mv`
The short answer is just “no”. But there is more to know; it just requires some background. (And as JDB suggests in a comment, I’ll mention why git mv exists as a convenience.) Slightly longer: you’re right that Git will diff files, but you may be wrong about when Git does these file-diffs. Git’s internal … Read more