How should files be moved in the glibc repository

[Yury Norov]

On Mon, Nov 28, 2016 at 07:00:35PM +0100, Andreas Schwab wrote:
> 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.

If you see garbage like this after moving files, try 'git clean -f'.
But be aware that it deletes all untracked files. And your tags, for
example, may disappear.

Yury