[Savannah-hackers-public] Re: converting gnulib: cvs to git

[Karl Berry]

    Do you really care whether any of the following files (the only ones
    affected in gnulib) contain an CVS/RCS-style $Id...$ string?

       COPYING

COPYING has no $Id$.  What am I missing?

   config/srclist-update
   config/srclist.txt
   config/srclistvars.sh
   doc/Makefile
   doc/gnulib.texi

I believe I am the one who inserted the $Id$'s in all the above files,
and I don't mind if you remove them, although honestly I don't see a
problem with them.  Those files are not copied around between
hierarchies, by their nature.

   gnulib-tool

That's for Bruno, I expect.

karl