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