>>>>> On Mon, 27 Feb 2017, William Hubbs wrote:

> the Gentoo council will meet again on March 12 at 19:00 utc in the
> #gentoo-council channel on freenode.
> Please respond to this message with any items you would like us to
> add to the agenda to vote on or discuss.

In the 2014-10-14 meeting, there was the following decision under the
"Git Migration Issues" topic:

   Can we drop CVS headers post-migration?

   Aye: blueness, creffett (proxy for ulm), dberkholz, dilfridge,
   radhermit, rich0, williamh 

This was again briefly discussed in the 2016-04-10 meeting (following
a discussion in the gentoo-dev mailing list) and in the 2016-11-13
meeting (with respect to a repoman check for the ebuild header).

Since there appear to be doubts how to interpret above mentioned
decision, I would like to ask the Council to clarify the following
points:

a) Are $Id$ and $Header$ lines to be removed in the gentoo repository?

b) Does this only apply to ebuilds and eclasses, or also to other
   files in the tree, e.g., metadata, profiles, and files in FILESDIR
   other than patches (like init scripts)?

c) Should these lines be removed in one go, or should we enable a
   repoman check and have them fade out over time?

d) Should git expansion of $Id$ be enabled (i.e., ident in git
   attributes)?

Ulrich