On Sat, Feb 25, 2017 at 03:05:09PM +0100, Ulrich Mueller wrote: > As the council has decided in its 2014-10-14 meeting (and confirmed > again in the 2016-11-13 meeting), CVS headers should be removed after > the migration to Git. The 2014-10-14 meeting did NOT specify what CVS headers were in question, and it was later decided that this was $Header$, not $Id$.
> Until recently, this was blocked by repoman still checking for the > $Id$ line. The latter is now fixed in the stable repoman version. > > Therefore, I am going to remove the remaining CVS headers throughout > the tree (except for patches, of course) in two days from now. This was also discussed in August 2015: Subject: 'Infra plans regarding $Id$ - official answer...' https://archives.gentoo.org/gentoo-dev/message/d01ce943a9f9404c454c26bdb7efdf0e $Id$ is used by Git as well, and I was a strong advocate that expansion of $Id$ should be ENABLED in the rsync exports, because it allowed tracing what version of a file was actually in use. In the case of Git, $Id$ expands to the blob hash, which can be traced to a commit trivially, and several of the council members in the 2015 thread did agree it was useful in that format (but I see no formal vote was ever taken). -- Robin Hugh Johnson Gentoo Linux: Dev, Infra Lead, Foundation Trustee & Treasurer E-Mail : robb...@gentoo.org GnuPG FP : 11ACBA4F 4778E3F6 E4EDF38E B27B944E 34884E85 GnuPG FP : 7D0B3CEB E9B85B1F 825BCECF EE05E6F6 A48F6136
