From what I understand, Git doesn’t really need to track file rename/move/copy operations, so what’s the real purpose
of git mv? The man page isn’t specially descriptive…
Is it obsolete? Is it an internal command, not meant to be used by regular users?