Overview

Issues involving moving/renaming.

Operation

“Git has a rename command git mv, but that is just for convenience. The effect is indistinguishable from removing the file and adding another with different name and the same content.”