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

[Simon Josefsson]

Jim Meyering <address@hidden> writes:

> Does anyone object to my removing the $Id...$ strings from those files?
> They will serve no purpose once we migrate.

I'd rather not remove them as long as we are using CVS as the master
repository.

Once, or if, we make the switch to something else, we should replace
them with git's equivalent tags (how do they look and behave?).  I
find these markers useful when comparing file dates when updating old
software, and I think it would be a clear disadvantage if moving to
git won't make the same thing possible.

/Simon