"Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> writes: > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > When Git determines whether a file has changed, it looks at the mtime, > at the file size, ... > Functionally, we do not change anything because we replace two `git mv > <old> <new>` calls (where `<new>` is completely overwritten and `git > add`ed later anyway) by `git rm <old>` calls (removing other files, too, > that are also completely overwritten and `git add`ed later). Thanks, both. Will queue.