summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--decisions/decisions.but2
-rw-r--r--decisions/decisions.mlf20
-rw-r--r--decisions/decisions.mls20
-rw-r--r--decisions/decisions.mlt20
-rw-r--r--decisions/decisions.tex6
-rw-r--r--decisions/summary-20151011.tex87
-rw-r--r--decisions/summary-20151018.tex35
-rw-r--r--decisions/summary-20151025.tex80
8 files changed, 269 insertions, 1 deletions
diff --git a/decisions/decisions.but b/decisions/decisions.but
index 9a8a124..c4b6928 100644
--- a/decisions/decisions.but
+++ b/decisions/decisions.but
@@ -144,6 +144,8 @@ GLEP 27 needs to be implemented (Portage Management of UIDs/GIDs)
Please stop removing last stable media-libs/libsdl
550940
Please provide a way to track *all* project members
+560466
+Behaviour of asterisk with = dependency operator is ill-defined
565566
New ChangeLogs are in chronological order
565700
diff --git a/decisions/decisions.mlf b/decisions/decisions.mlf
index be57e13..b8aeb65 100644
--- a/decisions/decisions.mlf
+++ b/decisions/decisions.mlf
@@ -12,10 +12,16 @@ Ulrich Mueller
Roy Bamford
14cc0e4a82ac3fe0a6aca94aaebb981f:gentoo-project
Ulrich Mueller
+16fc54d2bced9ff51b71d387eb0fb36b:gentoo-project
+Rich Freeman
+179d5d298333dfeef45a6eb78f0d6f17:gentoo-project
+Michał Górny
1c2224a5a468ff854e73fc60d25f7dce:gentoo-project
Michał Górny
1ccf2b07b96f4b164e6f69fb5d2d6cc7:gentoo-project
Raymond Jennings
+2175a9dde8a1fb614ccb75c60c43c8c8:gentoo-project
+Michał Górny
217c67d53b7d8240ff9fecabd29f8303:gentoo-pms
Ulrich Mueller
280f7cb2193f8f3302a556d70d75ac47:gentoo-project
@@ -30,6 +36,8 @@ Denis Dupeyron
Ulrich Mueller
3a441be5e49cc06689ecab00da461278:gentoo-pms
Ulrich Mueller
+3cf270a336636b94187b2a2b8f1b7e7f:gentoo-project
+Robin H. Johnson
3ebf4ccf0d4f27d6240888a3100d0d58:gentoo-project
Dirkjan Ochtman
402eb403e0f451e7bc0525b76e9d3da2:gentoo-project
@@ -40,6 +48,8 @@ Michał Górny
Chris Reffett
474fc6822dba50ccc6192c9f31d8024a:gentoo-project
Patrick Lauer
+4929c54fc37dee78cdff606d4d9cb030:gentoo-project
+Michał Górny
49389c3c62faaa11ffdeb07d42ceaf6d:gentoo-project
Pacho Ramos
4a88db38253494c6612a29117b2b19c8:gentoo-project
@@ -66,6 +76,8 @@ Denis Dupeyron
Robin H. Johnson
6523793dd018ea42b4d28e97f8d1b731:gentoo-council
Thomas Anderson
+65abf95ef1ea05a1aa3bc716be386a64:gentoo-project
+Ulrich Mueller
68a870c0519fb1cb7152db38fc9d4935:gentoo-dev
Michał Górny
6904e810caedf66d889458e6fd1cc552:gentoo-dev
@@ -74,6 +86,8 @@ Ulrich Mueller
Michał Górny
6db80f9a66d80a3c4ec0480690ce77e4:gentoo-project
Michael Palimaka
+70451197c3109e61ddd27e14a7bf89fa:gentoo-project
+Andreas K. Huettel
70b28773ada15c2f4d1bcf1428ffa6a9:gentoo-project
Kristian Fiskerstrand
71c67cdf620f262b4f94765360c8c8c2:gentoo-project
@@ -104,6 +118,8 @@ a292e9567fac838681899b50dff24cce:gentoo-project
Michał Górny
a76eda0997a21e14d6a548e04590191b:gentoo-dev
Pacho Ramos
+a8b5b499b9dbfdaea57a8f2a158c1fe7:gentoo-project
+Rich Freeman
a9492947c953dc48f74c825d8704ffc0:gentoo-dev
Michał Górny
aed760e7431f6d5ec7518be4d5b75c84:gentoo-dev
@@ -118,6 +134,8 @@ b2e8c759b08c29f2c4215ea74511bf1c:gentoo-project
Ulrich Mueller
b59d8abb15e148b71d6e50180a2a27a7:gentoo-project
Patrick Lauer
+b5b7aa83ddd64fdfa84284c1ceddcec6:gentoo-project
+Manuel Rüger
b69cab4b36b6b3c6e68be82df09c2d36:gentoo-project
Pacho Ramos
b9460b9c8d578c3498c217c17b75afd4:gentoo-dev
@@ -152,6 +170,8 @@ ef7635aa655913f2386e64e385f5a6ae:gentoo-pms
Ulrich Mueller
effdb2474965825fdfc06d0276e3318d:gentoo-project
Michał Górny
+f595f9fef4bce02c875e980ec5d21841:gentoo-project
+Michał Górny
f78e316074897a604842fe13d2860be6:gentoo-project
Ulrich Mueller
fa05f5319ef4255d3e3fe34da79a2534:gentoo-project
diff --git a/decisions/decisions.mls b/decisions/decisions.mls
index a6f7d12..f437379 100644
--- a/decisions/decisions.mls
+++ b/decisions/decisions.mls
@@ -12,10 +12,16 @@ Re: [gentoo-project] Call for agenda items - Council meeting 2017-02-12
Re: [gentoo-project] Call for agenda items -- Council meeting 2012-05-08
14cc0e4a82ac3fe0a6aca94aaebb981f:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2014-02-25
+16fc54d2bced9ff51b71d387eb0fb36b:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
+179d5d298333dfeef45a6eb78f0d6f17:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
1c2224a5a468ff854e73fc60d25f7dce:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2014-04-08
1ccf2b07b96f4b164e6f69fb5d2d6cc7:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2016-11-13
+2175a9dde8a1fb614ccb75c60c43c8c8:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
217c67d53b7d8240ff9fecabd29f8303:gentoo-pms
[gentoo-pms] Re: [gentoo-dev] [RFC] Shall econf append its arguments to end of ./configure invocation?
280f7cb2193f8f3302a556d70d75ac47:gentoo-project
@@ -30,6 +36,8 @@ Re: [gentoo-project] Council meeting 2015-03-10: call for agenda items
Re: [gentoo-project] Call for agenda items - Council meeting 2014-03-11
3a441be5e49cc06689ecab00da461278:gentoo-pms
Re: [gentoo-pms] EAPI specification in ebuilds
+3cf270a336636b94187b2a2b8f1b7e7f:gentoo-project
+[gentoo-project] Project membership vs being on a mail alias: pitfalls and problems
3ebf4ccf0d4f27d6240888a3100d0d58:gentoo-project
Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-02-14
402eb403e0f451e7bc0525b76e9d3da2:gentoo-project
@@ -40,6 +48,8 @@ Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-02-14
Re: [gentoo-project] Call for agenda items - Council meeting 2014-04-08
474fc6822dba50ccc6192c9f31d8024a:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2014-03-11
+4929c54fc37dee78cdff606d4d9cb030:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
49389c3c62faaa11ffdeb07d42ceaf6d:gentoo-project
Re: [gentoo-project] Council meeting 2015-03-10: call for agenda items
4a88db38253494c6612a29117b2b19c8:gentoo-project
@@ -66,6 +76,8 @@ Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-01-10
[gentoo-dev-announce] rsync.gentoo.org rsync modules: gentoo-repo-changelog added, gentoo-x86-portage & gentoo-sec discontinued.
6523793dd018ea42b4d28e97f8d1b731:gentoo-council
[gentoo-council] Preliminary summary for meeting on June 25, 2009
+65abf95ef1ea05a1aa3bc716be386a64:gentoo-project
+[gentoo-project] Re: Call for Agenda Items -- Council Meeting 2015-10-11
68a870c0519fb1cb7152db38fc9d4935:gentoo-dev
Re: [gentoo-dev] Council Council: call for agenda items for June 12 meeting
6904e810caedf66d889458e6fd1cc552:gentoo-dev
@@ -74,6 +86,8 @@ Re: [gentoo-dev] News item: Python ABIFLAGS rebuild needed
Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2016-02-14
6db80f9a66d80a3c4ec0480690ce77e4:gentoo-project
[gentoo-project] Re: Call for agenda items - Council meeting 2014-08-12
+70451197c3109e61ddd27e14a7bf89fa:gentoo-project
+Re: Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
70b28773ada15c2f4d1bcf1428ffa6a9:gentoo-project
Ongoing stabilization discussion (Re: [gentoo-project] Council meeting 2016-11-13)
71c67cdf620f262b4f94765360c8c8c2:gentoo-project
@@ -104,6 +118,8 @@ a292e9567fac838681899b50dff24cce:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2016-04-10
a76eda0997a21e14d6a548e04590191b:gentoo-dev
[gentoo-dev] About reducing or even removing stable tree for some arches
+a8b5b499b9dbfdaea57a8f2a158c1fe7:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
a9492947c953dc48f74c825d8704ffc0:gentoo-dev
[gentoo-dev] Getting EAPI 5 *use.stable.mask to work in gx86?
aed760e7431f6d5ec7518be4d5b75c84:gentoo-dev
@@ -118,6 +134,8 @@ b2e8c759b08c29f2c4215ea74511bf1c:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2014-02-25
b59d8abb15e148b71d6e50180a2a27a7:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2014-03-11
+b5b7aa83ddd64fdfa84284c1ceddcec6:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
b69cab4b36b6b3c6e68be82df09c2d36:gentoo-project
Re: [gentoo-project] Call for agenda items - Council meeting 2014-08-12
b9460b9c8d578c3498c217c17b75afd4:gentoo-dev
@@ -152,6 +170,8 @@ ef7635aa655913f2386e64e385f5a6ae:gentoo-pms
[gentoo-pms] EAPI specification in ebuilds
effdb2474965825fdfc06d0276e3318d:gentoo-project
Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-12-13
+f595f9fef4bce02c875e980ec5d21841:gentoo-project
+Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11
f78e316074897a604842fe13d2860be6:gentoo-project
[gentoo-project] Re: Call for Agenda Items -- Council Meeting 2015-11-08
fa05f5319ef4255d3e3fe34da79a2534:gentoo-project
diff --git a/decisions/decisions.mlt b/decisions/decisions.mlt
index dd7f0af..94029d9 100644
--- a/decisions/decisions.mlt
+++ b/decisions/decisions.mlt
@@ -12,10 +12,16 @@ Sat, 30 Aug 2014 12:54:50
Thu, 26 Apr 2012 21:04:34
14cc0e4a82ac3fe0a6aca94aaebb981f:gentoo-project
Mon, 10 Feb 2014 15:39:25
+16fc54d2bced9ff51b71d387eb0fb36b:gentoo-project
+Thu, 01 Oct 2015 12:32:05
+179d5d298333dfeef45a6eb78f0d6f17:gentoo-project
+Wed, 30 Sep 2015 18:15:59
1c2224a5a468ff854e73fc60d25f7dce:gentoo-project
Sun, 30 Mar 2014 08:33:53
1ccf2b07b96f4b164e6f69fb5d2d6cc7:gentoo-project
Sun, 30 Oct 2016 21:23:42
+2175a9dde8a1fb614ccb75c60c43c8c8:gentoo-project
+Sun, 04 Oct 2015 11:14:08
217c67d53b7d8240ff9fecabd29f8303:gentoo-pms
Tue, 30 Apr 2013 17:04:05
280f7cb2193f8f3302a556d70d75ac47:gentoo-project
@@ -30,6 +36,8 @@ Fri, 14 May 2010 22:45:30
Mon, 03 Mar 2014 11:14:22
3a441be5e49cc06689ecab00da461278:gentoo-pms
Thu, 12 Apr 2012 11:56:22
+3cf270a336636b94187b2a2b8f1b7e7f:gentoo-project
+Fri, 02 Oct 2015 00:57:39
3ebf4ccf0d4f27d6240888a3100d0d58:gentoo-project
Tue, 02 Feb 2016 08:07:00
402eb403e0f451e7bc0525b76e9d3da2:gentoo-project
@@ -40,6 +48,8 @@ Tue, 31 May 2016 12:49:45
Mon, 07 Apr 2014 16:37:09
474fc6822dba50ccc6192c9f31d8024a:gentoo-project
Fri, 28 Feb 2014 11:15:52
+4929c54fc37dee78cdff606d4d9cb030:gentoo-project
+Wed, 30 Sep 2015 18:45:23
49389c3c62faaa11ffdeb07d42ceaf6d:gentoo-project
Sat, 07 Mar 2015 10:32:46
4a88db38253494c6612a29117b2b19c8:gentoo-project
@@ -66,6 +76,8 @@ Sun, 18 Apr 2010 00:37:04
Sun, 30 Oct 2016 02:55:09
6523793dd018ea42b4d28e97f8d1b731:gentoo-council
Fri, 17 Jul 2009 21:49:43
+65abf95ef1ea05a1aa3bc716be386a64:gentoo-project
+Wed, 30 Sep 2015 18:43:57
68a870c0519fb1cb7152db38fc9d4935:gentoo-dev
Fri, 03 Jun 2016 14:06:45
6904e810caedf66d889458e6fd1cc552:gentoo-dev
@@ -74,6 +86,8 @@ Fri, 11 Dec 2015 23:48:15
Fri, 12 Feb 2016 22:22:24
6db80f9a66d80a3c4ec0480690ce77e4:gentoo-project
Thu, 31 Jul 2014 14:40:50
+70451197c3109e61ddd27e14a7bf89fa:gentoo-project
+Fri, 02 Oct 2015 14:44:16
70b28773ada15c2f4d1bcf1428ffa6a9:gentoo-project
Mon, 07 Nov 2016 12:14:58
71c67cdf620f262b4f94765360c8c8c2:gentoo-project
@@ -104,6 +118,8 @@ a292e9567fac838681899b50dff24cce:gentoo-project
Sun, 27 Mar 2016 21:14:06
a76eda0997a21e14d6a548e04590191b:gentoo-dev
Mon, 16 Feb 2015 13:35:05
+a8b5b499b9dbfdaea57a8f2a158c1fe7:gentoo-project
+Wed, 30 Sep 2015 19:12:04
a9492947c953dc48f74c825d8704ffc0:gentoo-dev
Mon, 10 Dec 2012 21:28:37
aed760e7431f6d5ec7518be4d5b75c84:gentoo-dev
@@ -118,6 +134,8 @@ b2e8c759b08c29f2c4215ea74511bf1c:gentoo-project
Thu, 20 Feb 2014 09:40:21
b59d8abb15e148b71d6e50180a2a27a7:gentoo-project
Fri, 28 Feb 2014 23:47:39
+b5b7aa83ddd64fdfa84284c1ceddcec6:gentoo-project
+Wed, 30 Sep 2015 20:25:20
b69cab4b36b6b3c6e68be82df09c2d36:gentoo-project
Tue, 29 Jul 2014 12:06:28
b9460b9c8d578c3498c217c17b75afd4:gentoo-dev
@@ -152,6 +170,8 @@ ef7635aa655913f2386e64e385f5a6ae:gentoo-pms
Fri, 06 Apr 2012 07:40:32
effdb2474965825fdfc06d0276e3318d:gentoo-project
Mon, 30 Nov 2015 16:20:46
+f595f9fef4bce02c875e980ec5d21841:gentoo-project
+Mon, 05 Oct 2015 05:48:24
f78e316074897a604842fe13d2860be6:gentoo-project
Sun, 25 Oct 2015 22:14:57
fa05f5319ef4255d3e3fe34da79a2534:gentoo-project
diff --git a/decisions/decisions.tex b/decisions/decisions.tex
index 4acdda3..47948b7 100644
--- a/decisions/decisions.tex
+++ b/decisions/decisions.tex
@@ -217,10 +217,14 @@ All summaries have been added here.
Council members: blueness, dilfridge, jlec, k_f, rich0, ulm, williamh
+All summaries have been added here.
+
\include{summary-20150727}
\include{summary-20150809}
\include{summary-20150913}
-
+\include{summary-20151011}
+\include{summary-20151018}
+\include{summary-20151025}
\include{summary-20151108}
\include{summary-20151213}
\include{summary-20160110}
diff --git a/decisions/summary-20151011.tex b/decisions/summary-20151011.tex
new file mode 100644
index 0000000..e9ea77d
--- /dev/null
+++ b/decisions/summary-20151011.tex
@@ -0,0 +1,87 @@
+
+\summary{2015}{10}{11}
+
+\agendaitem{EAPI 4 deprecation}
+\index{EAPI!4!deprecation}\index{EAPI!4}
+
+Reference: \agoref{gentoo-project}{b5b7aa83ddd64fdfa84284c1ceddcec6}
+
+By unanimous agreement EAPI 4 is declared deprecated.
+
+
+\agendaitem{Behaviour of asterisk with = dependency operator}
+\index{= dependencies}\index{PMS}
+
+References:
+\begin{itemize}
+ \item
+ \agoref{gentoo-project}{65abf95ef1ea05a1aa3bc716be386a64}
+ \item
+ \bug{560466}
+ \item
+\url{
+https://gitweb.gentoo.org/proj/portage.git/commit/?id=d4966a381ee4577818bd972946
+647338046715b1}
+\end{itemize}
+
+By unanimous vote, the proposed PMS modification is introduced
+retroactively for all EAPIs.
+
+By the current description of the * operator in PMS, a dependency
+cat/foo-1.2* matches cat/foo-1.2, cat/foo-1.2.1, etc. but it also
+matches cat/foo-1.20. The definition in PMS is updated such that
+version components cannot be split when matching (i.e. 1.2* would not
+match 1.20).
+
+
+\agendaitem{Runtime dependencies and dynamic dependency deprecation}
+\index{dynamic dependencies}
+
+References:
+\begin{itemize}
+ \item
+ \agoref{gentoo-project}{a8b5b499b9dbfdaea57a8f2a158c1fe7}
+ \item
+ http://article.gmane.org/gmane.linux.gentoo.devel/97742 (dead link)
+ \item
+ http://thread.gmane.org/gmane.linux.gentoo.devel/97428/focus=97742 (dead link)
+\end{itemize}
+
+\vote{Maintainers must not assume that dynamic dependencies will be applied
+by the package manager. When changing runtime dependencies the
+maintainer should revision the ebuild if the changes are likely to
+cause problems for end users.}{Accepted unanimous.}
+
+The details, in particular the explicit rules proposed by rich0 on the
+gentoo-devel mailing list, were referred back to the list for further
+discussion and should eventually become recommendations. Further
+decisions on policies may also be up to the QA team.
+
+
+\agendaitem{Games policies}
+\index{games!policies}\index{games!group}\index{games!install path}
+
+Reference: \agoref{gentoo-project}{16fc54d2bced9ff51b71d387eb0fb36b}
+
+After some discussion on the details of FHS, the merit of separate
+users and directories for games and our Gentoo directory structure,
+the following votes as proposed by rich0 were taken:
+
+\vote{Decide that games should not be owned by a games group, and that
+in the default configuration users should not have to be in the games
+group to run games.}{
+Motion accepted with 6 yes and 1 abstention}
+
+\vote{Games should be installed in /usr and not /usr/games as with most
+applications}{
+Motion not passed, 2 yes, 2 no and 3 abstentions}
+
+
+\agendaitem{Games bugzilla component}
+\index{bugzilla}\index{games!bugzilla component}
+
+Reference: \agoref{gentoo-project}{2175a9dde8a1fb614ccb75c60c43c8c8}
+
+By unanimous vote the 'Games" component of bugzilla will be assigned
+by default to bug wranglers instead of the games team.
+
diff --git a/decisions/summary-20151018.tex b/decisions/summary-20151018.tex
new file mode 100644
index 0000000..eea523b
--- /dev/null
+++ b/decisions/summary-20151018.tex
@@ -0,0 +1,35 @@
+
+\summary{2015}{10}{18}
+
+
+\agendaitem{Github and attitudes}
+\index{github}
+
+Reference: \agoref{gentoo-project}{4929c54fc37dee78cdff606d4d9cb030}
+
+A lengthy discussion touching diverse topics ensued. In the end the
+following resolution was accepted with 4 yes votes, 0 no, 0
+abstentions, and 1 lack of response:
+
+\vote{The Gentoo council encourages contributions to Gentoo via manyfold
+ways. However, it also recognizes that the usage of Github, being a
+closed-source service, poses the danger of data lock-in and should not
+be preferred. The question has been posed whether the current usage of
+Github is in line with the Gentoo social contract- a question still
+open to interpretation.
+With this background the council asks for implementation of
+\begin{itemize}
+ \item
+ the two-way mirroring of Github pull requests to bugzilla (including
+ comments and patches)
+ \item
+ the public archiving of Github repository e-mail notifications
+ \item
+ and the mirroring of Github pull request git branches on Gentoo
+ infrastructure
+\end{itemize}
+or functionally equivalent alternatives. The council believes that
+this should suffice for all developers to dispell doubts about
+adherence to the Gentoo social contract.}{4 yes votes, 0 no, 0
+abstentions, and 1 lack of response}
+
diff --git a/decisions/summary-20151025.tex b/decisions/summary-20151025.tex
new file mode 100644
index 0000000..488a18f
--- /dev/null
+++ b/decisions/summary-20151025.tex
@@ -0,0 +1,80 @@
+
+\summary{2015}{10}{25}
+
+
+\agendaitem{Projects, herds, etc.}
+\index{herds}\index{project identification}\index{metadata.xml}
+
+References:
+\begin{itemize}
+\item
+\agoref{gentoo-project}{179d5d298333dfeef45a6eb78f0d6f17}
+\item
+\agoref{gentoo-project}{70451197c3109e61ddd27e14a7bf89fa}
+\item
+\agoref{gentoo-project}{3cf270a336636b94187b2a2b8f1b7e7f}
+\item
+\agoref{gentoo-project}{f595f9fef4bce02c875e980ec5d21841}
+\end{itemize}
+
+A lengthy discussion on the merits of deprecating herds and on how to
+precisely do that resulted. The suggestion to use GUIDs for project
+identification was dismissed as slightly impractical, even though they
+provide for a near-unlimited number of projects.
+
+\vote{A: The concept of "herds" is abandoned, and the usage of the term
+deprecated. As a replacement, a package may be maintained by a
+project.}{
+7 yes, unanimous}
+
+\vote{B: do we want
+\begin{enumerate}[label=\alph*)]
+\item "$<$project$>$bla$<$/project$>$" or
+\item "$<$maintainer$><$project$>$bla$<$/project$><$/maintainer$>$" or
+\item "$<$maintainer type="project"$>$bla$<$/maintainer$>$" or
+\item "$<$maintainer$><$email$>$bla@gentoo.org$<$/email$><$/maintainer$>$" ?
+\end{enumerate}
+}{
+3x a, 2x c, 2x d}
+
+This led to a discussion on the meaning of the vote outcome, and it
+was decided to re-formulate the question into several votes.
+
+\vote{C: New $<$project$>$ tag, or add something to existing $<$maintainer$>$
+tag?}{
+4x project and 3x maintainer}
+
+\vote{D: what goes into the $<$project$>$ tag? a project shortname or an
+e-mail address?}{
+4x shortname, 1x e-mail, 2x abstain}
+
+\vote{E: do we want a 1:1 mapping of a new e-mail address to the
+project shortname?}{
+4 yes, 2 no}
+
+\vote{F: define the project shortname on the wiki project page, and
+expect that any project is *also* reachable as
+shortname@proj.gentoo.org}{
+4 yes, 2 abstain}
+
+After these decisions several council members stated that things were
+going the wrong way and that they would like to change their votes for
+earlier decisions, thereby making latter decisions obsolete. As a
+consequence, it was suggested to scrap the just-made decisions again
+and request a GLEP on the issue.
+
+\vote{All votes today from vote B on are anulled. The council recommends
+that the details on herds to projects transition should be worked out
+in a GLEP.}{
+6 yes, 1 abstain}
+
+
+\agendaitem{Open bugs with council participation}
+
+\bug{503382}: Ulm stated that the 20131210 summary has been written and submitted,
+and minor corrections were suggested.
+
+
+\agendaitem{Open floor}
+
+No issues were brought up.