On Sun, 26 Feb 2017 15:32:56 -0500 Rich Freeman wrote: >On Sun, Feb 26, 2017 at 3:27 PM, Lars Wendler ><polynomia...@gentoo.org> wrote: >> On Sun, 26 Feb 2017 21:24:38 +0100 Andreas K. Huettel wrote: >> >>>Am Sonntag, 26. Februar 2017, 21:16:28 CET schrieb Lars Wendler: >>>> I am completely against removal of this header line. It does _not_ >>>> do any harm and I don't understand why people want it to be >>>> removed so badly. >>>> Now QA again wants to do a questionable action _without_ any >>>> approval from neither infra nor council. >>>[snip] >>> >>>October 2014 council meeting: >>> >>>Can we drop CVS headers post-migration? >>>Aye: blueness, creffett (proxy for ulm), dberkholz, dilfridge, >>>radhermit, rich0, williamh >>> >> >> $Id$ is _NOT_ the CVS header. >> > >Do we really need to put it on the Council agenda just so that the >same group of people can approve it again? >
Yes please. I'd like to raise my concerns if this is really the only way to keep this header. -- Lars Wendler Gentoo package maintainer GPG: 21CC CF02 4586 0A07 ED93 9F68 498F E765 960E 9B39 Attention! New gpg key! See https://www.gentoofan.org/blog/index.php?/archives/9-New-gpg-keys.html
pgp0Mxy1KfT5m.pgp
Description: Digitale Signatur von OpenPGP
