Gentoo Archives: gentoo-dev

From: Lars Wendler <polynomial-c@g.o>
To: "Michał Górny" <mgorny@g.o>
Cc: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] Removal of CVS headers
Date: Mon, 27 Feb 2017 13:02:46
Message-Id: 20170227140226.4c3515c5@abudhabi.paradoxon.rec
In Reply to: Re: [gentoo-dev] Removal of CVS headers by "Michał Górny"
1 On Sun, 26 Feb 2017 23:30:25 +0100 Michał Górny wrote:
2
3 >W dniu 26.02.2017, nie o godzinie 21∶16 +0100, użytkownik Lars Wendler
4 >napisał:
5 >> On Sun, 26 Feb 2017 19:59:19 +0000 Robin H. Johnson wrote:
6 >>
7 >> > On Sat, Feb 25, 2017 at 03:05:09PM +0100, Ulrich Mueller wrote:
8 >> > > As the council has decided in its 2014-10-14 meeting (and
9 >> > > confirmed again in the 2016-11-13 meeting), CVS headers should
10 >> > > be removed after the migration to Git.
11 >> >
12 >> > The 2014-10-14 meeting did NOT specify what CVS headers were in
13 >> > question, and it was later decided that this was $Header$, not
14 >> > $Id$.
15 >> > > Until recently, this was blocked by repoman still checking for
16 >> > > the $Id$ line. The latter is now fixed in the stable repoman
17 >> > > version.
18 >> > >
19 >> > > Therefore, I am going to remove the remaining CVS headers
20 >> > > throughout the tree (except for patches, of course) in two days
21 >> > > from now.
22 >> >
23 >> > This was also discussed in August 2015:
24 >> > Subject: 'Infra plans regarding $Id$ - official answer...'
25 >> > https://archives.gentoo.org/gentoo-dev/message/d01ce943a9f9404c454c26bdb7efdf0e
26 >> >
27 >> > $Id$ is used by Git as well, and I was a strong advocate that
28 >> > expansion of $Id$ should be ENABLED in the rsync exports, because
29 >> > it allowed tracing what version of a file was actually in use.
30 >> >
31 >> > In the case of Git, $Id$ expands to the blob hash, which can be
32 >> > traced to a commit trivially, and several of the council members
33 >> > in the 2015 thread did agree it was useful in that format (but I
34 >> > see no formal vote was ever taken).
35 >> >
36 >>
37 >> And that's exactly for what I use the $Id$ header.
38 >> I am completely against removal of this header line. It does _not_ do
39 >> any harm and I don't understand why people want it to be removed so
40 >> badly.
41 >> Now QA again wants to do a questionable action _without_ any approval
42 >> from neither infra nor council. Sorry guys but this is not how things
43 >> work. The official answer from infra regarding $Id$ gives enough good
44 >> examples why this header line should be kept.
45 >> This $Id$ header line is the only way how I can safely keep official
46 >> ebuilds and ebuilds from my overlay in sync. I don't like getting my
47 >> workflows sabotaged and I consider this a pure act of sabotage...
48 >>
49 >> How about QA finally starts acting on useful issues or at least do
50 >> actions that make sense?
51 >
52 >How about you give some respect to your fellow developers who simply
53 >try to do stuff to improve Gentoo, instead of attributing malice and
54 >taking it as personal attack on you?
55
56 Wow, getting that from the perhaps most rude dev with the least
57 amount of social skills we might have currently...
58 Everytime I think you can't do worse you prove me wrong...
59
60 >As far as I'm concerned, we could tell as well that the Council decided
61 >on header removal, then Infra went rogue and replaced the header with
62 >another one, and now it claims that the decision was about $Header$
63 >and not $Id$. Does that sound nice to you? Does it motivate you to work
64 >more on Gentoo?
65
66 Nice conspiracy plot... here, have a tin hat.
67
68 >Of course, we can dispute that Infra might one day actually start
69 >expanding $Id$. And not break random files in the process. And not
70 >break Manifest thickening and signing in the process.
71 >
72
73 No real need to do that expansion for everybody. Just keep the $Id$
74 header field for those who want to make use of git's ident attribute
75 feature.
76
77 --
78 Lars Wendler
79 Gentoo package maintainer
80 GPG: 21CC CF02 4586 0A07 ED93 9F68 498F E765 960E 9B39
81
82 Attention! New gpg key! See
83 https://www.gentoofan.org/blog/index.php?/archives/9-New-gpg-keys.html