On Fri, 29 Oct 2021 at 17:10, Eli Zaretskii<eliz@gnu.org> wrote:
“git mv” is not magical though; it does not do anything that a manual
move + staging both the deletion and the addition of the moved file
does not do.
You misunderstood what I meant by "manual". I meant "git rm" followed
by "git add".
And if you want to say that the latter also does the same as "git mv",
then that's not my experience.
In my understanding and experience, that should have the same effect,
provided that the file content hash does not change.