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 |