"Johannes Schindelin via GitGitGadget" <gitgitgad...@gmail.com> writes:
> From: Johannes Schindelin <johannes.schinde...@gmx.de> > > 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.
