How should files be moved in the glibc repository

[Andreas Schwab]

On Nov 28 2016, Steve Ellcey <sellcey@cavium.com> wrote:

> 'git mv' or a 'git rm / git add' to move these files?  Or does it matter?

It doesn't matter.  Both do exactly the same.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."