public inbox for gentoo-dev-announce@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-dev-announce] Gentoo Council 2016 / 2017 election
@ 2016-06-03 23:38 Jorge Manuel B. S. Vicetto
  2016-06-11  0:28 ` [gentoo-dev-announce] Re: [gentoo-project] Gentoo Council 2016 / 2017 election (1 week nomination left) Jorge Manuel B. S. Vicetto
  2016-06-18 18:11 ` [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
  0 siblings, 2 replies; 5+ messages in thread
From: Jorge Manuel B. S. Vicetto @ 2016-06-03 23:38 UTC (permalink / raw
  To: gentoo-project; +Cc: gentoo-dev-announce, Gentoo Elections


[-- Attachment #1.1.1: Type: text/plain, Size: 2046 bytes --]

Dear Gentoo Community,

Nominations for the Gentoo Council 2016 / 2017 election will start at
00:00 UTC 2016/06/04 (Saturday) and will remain open for the next two
weeks until 00:00 UTC, 2016/06/18 (Friday).

All nominations must be sent to the gentoo-project mailing list. If you
were nominated and want to run, you have to accept your nomination on
the same mailing list.

Here are the rules:

    * Council elections generally happen once a year
    * The council is composed of seven elected members
    * Nominations are allowed from June 4th 00H00 UTC to June 18th
00H00 UTC
    * Only Gentoo developers may be nominated
    * Anyone can nominate (nominating yourself is OK)
    * Nominees must accept their nomination before voting begins
    * Voting is opened from June 19th 00H00 UTC to July 3rd 00H00 UTC
      (there is one day of break between nominations and voting so the
infra team has time to set up everything)
    * Only Gentoo developers may vote
    * The list of Gentoo Developers is based on active membership
by June 3rd, 2016 (the day before the election was opened)
    * Gentoo uses the Condorcet method of voting
    * Results should be published around July 4th

The election page for this election[1] will contain all pertinent
information regarding the election.

 [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606

If you don't know what the Gentoo Council is, you can read about it on
the project page[2].

 [2] - https://wiki.gentoo.org/wiki/Project:Council

If you want to ask a question or share your thoughts, contact any of
the election officials through the alias (elections@g.o) or at
IRC (Freenode #gentoo-elections).

Officials:

Chris Reffett (creffett)
Jorge Manuel B. S. Vicetto (jmbsvicetto)
Roy Bamford (NeddySeagoon)

Infra Contact (to be confirmed):
Alex Legler (a3li)

For the elections team,

- --
Regards,

Jorge Vicetto (jmbsvicetto) - jmbsvicetto at gentoo dot org
Gentoo- forums / ComRel / KDE / Elections / RelEng

[-- Attachment #1.1.2: 0xBB0E6E98.asc --]
[-- Type: application/pgp-keys, Size: 19486 bytes --]

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [gentoo-dev-announce] Re: [gentoo-project] Gentoo Council 2016 / 2017 election (1 week nomination left)
  2016-06-03 23:38 [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
@ 2016-06-11  0:28 ` Jorge Manuel B. S. Vicetto
  2016-06-18 18:11 ` [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
  1 sibling, 0 replies; 5+ messages in thread
From: Jorge Manuel B. S. Vicetto @ 2016-06-11  0:28 UTC (permalink / raw
  To: gentoo-project; +Cc: gentoo-dev-announce, Gentoo Elections

On Fri, 3 Jun 2016, Jorge Manuel B. S. Vicetto wrote:

> Dear Gentoo Community,
>
> Nominations for the Gentoo Council 2016 / 2017 election will start at
> 00:00 UTC 2016/06/04 (Saturday) and will remain open for the next two
> weeks until 00:00 UTC, 2016/06/18 (Friday).

Hi all.

This is just a quick reminder that there's 1 week left for nominations.
I'd also like to suggest that any candidate that accepted the nomination, 
if planning to write a manifesto, start thinking about notifying the 
election team so we can update the election page - if you have access to 
the page, also freel free to do it yourself.

> All nominations must be sent to the gentoo-project mailing list. If you
> were nominated and want to run, you have to accept your nomination on
> the same mailing list.
>
> Here are the rules:
>
>    * Council elections generally happen once a year
>    * The council is composed of seven elected members
>    * Nominations are allowed from June 4th 00H00 UTC to June 18th
> 00H00 UTC
>    * Only Gentoo developers may be nominated
>    * Anyone can nominate (nominating yourself is OK)
>    * Nominees must accept their nomination before voting begins
>    * Voting is opened from June 19th 00H00 UTC to July 3rd 00H00 UTC
>      (there is one day of break between nominations and voting so the
> infra team has time to set up everything)
>    * Only Gentoo developers may vote
>    * The list of Gentoo Developers is based on active membership
> by June 3rd, 2016 (the day before the election was opened)
>    * Gentoo uses the Condorcet method of voting
>    * Results should be published around July 4th
>
> The election page for this election[1] will contain all pertinent
> information regarding the election.
>
> [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606
>
> If you don't know what the Gentoo Council is, you can read about it on
> the project page[2].
>
> [2] - https://wiki.gentoo.org/wiki/Project:Council
>
> If you want to ask a question or share your thoughts, contact any of
> the election officials through the alias (elections@g.o) or at
> IRC (Freenode #gentoo-elections).
>
> Officials:
>
> Chris Reffett (creffett)
> Jorge Manuel B. S. Vicetto (jmbsvicetto)
> Roy Bamford (NeddySeagoon)
>
> Infra Contact:
> Alex Legler (a3li)

For the elections team,

> For the elections team,
>
> - --
> Regards,
>
> Jorge Vicetto (jmbsvicetto) - jmbsvicetto at gentoo dot org
> Gentoo- forums / ComRel / KDE / Elections / RelEng
>


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [gentoo-dev-announce] Gentoo Council 2016 / 2017 election
  2016-06-03 23:38 [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
  2016-06-11  0:28 ` [gentoo-dev-announce] Re: [gentoo-project] Gentoo Council 2016 / 2017 election (1 week nomination left) Jorge Manuel B. S. Vicetto
@ 2016-06-18 18:11 ` Jorge Manuel B. S. Vicetto
  2016-06-26 17:45   ` Jorge Manuel B. S. Vicetto
  1 sibling, 1 reply; 5+ messages in thread
From: Jorge Manuel B. S. Vicetto @ 2016-06-18 18:11 UTC (permalink / raw
  To: gentoo-project; +Cc: gentoo-dev-announce, Gentoo Elections


[-- Attachment #1.1: Type: text/plain, Size: 4724 bytes --]

On 03-06-2016 23:38, Jorge Manuel B. S. Vicetto wrote:


Dear Gentoo community,

the council election will open later tonight at 2016-06-19 00:00 UTC.
The election booth will remain open until 2014-07-03 00:00 UTC.
The election page for this election[1], contains all the information
about the election.

  [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606

Please let us know if you find any issues with the page or with the
election. In particular, make sure you're listed as a voter[2] or you
won't be able to vote in the election.

 [2] -
https://projects.gentoo.org/elections/council/2016/voters-council-201606.txt

The rules for the Council election as well as details on how to vote for
this election are available in the Council Elections Archives[3]. In any
case, here is the quick procedure on how to vote using votify:

     * If you're eligible to vote in this election, log in to
dev.gentoo.org
     * Type votify --new council-201606 to create a new ballot file
     * Edit .ballot-council-201606 file in your home directory and rank
the candidates
     * Once you're finished, use votify --verify council-201606 command
to verify the validity of your ballot file
     * If everything is okay, use votify --submit council-201606 to
submit your vote. Don't forget your vote doesn't count until you
submit it.
     * If you run into problems, you can either work them out yourself
using votify --help or contact election officials and ask them for help

The elections for the Council include the pseudo _reopen_nominations
candidate. If the pseudo-candidate '_reopen_nominations' appears in
7th place or higher those candidates that rank above
'_reopen_nominations' will be the current council. A second period of
election will be opened for the remaining council seats. No third
period of election will be opened in the event '_repoen_nominations'
ranks higher than the candidates necessary to fill the council[4].

In case there's a need to fill a seat during the council term due to a
retirement, if no candidate ranked above the _reopen_nominations_
candidate, a new election must be held to fill that seat. If
there were candidates ranked above the _reopen_nominations_ candidate,
it's up to the remaining council members to accept the next candidate in
order of voting or open an election to fill the open seat.

  [3] - https://wiki.gentoo.org/wiki/Project:Elections/Council
  [4] -
http://www.gentoo.org/proj/en/council/meeting-logs/20090212-summary.txt

> Dear Gentoo Community,
> 
> Nominations for the Gentoo Council 2016 / 2017 election will start at
> 00:00 UTC 2016/06/04 (Saturday) and will remain open for the next two
> weeks until 00:00 UTC, 2016/06/18 (Friday).
> 
> All nominations must be sent to the gentoo-project mailing list. If you
> were nominated and want to run, you have to accept your nomination on
> the same mailing list.
> 
> Here are the rules:
> 
>     * Council elections generally happen once a year
>     * The council is composed of seven elected members
>     * Nominations are allowed from June 4th 00H00 UTC to June 18th
> 00H00 UTC
>     * Only Gentoo developers may be nominated
>     * Anyone can nominate (nominating yourself is OK)
>     * Nominees must accept their nomination before voting begins
>     * Voting is opened from June 19th 00H00 UTC to July 3rd 00H00 UTC
>       (there is one day of break between nominations and voting so the
> infra team has time to set up everything)
>     * Only Gentoo developers may vote
>     * The list of Gentoo Developers is based on active membership
> by June 3rd, 2016 (the day before the election was opened)
>     * Gentoo uses the Condorcet method of voting
>     * Results should be published around July 4th
> 
> The election page for this election[1] will contain all pertinent
> information regarding the election.
> 
>  [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606
> 
> If you don't know what the Gentoo Council is, you can read about it on
> the project page[2].
> 
>  [2] - https://wiki.gentoo.org/wiki/Project:Council
> 
> If you want to ask a question or share your thoughts, contact any of
> the election officials through the alias (elections@g.o) or at
> IRC (Freenode #gentoo-elections).
> 
> Officials:
> 
> Chris Reffett (creffett)
> Jorge Manuel B. S. Vicetto (jmbsvicetto)
> Roy Bamford (NeddySeagoon)
> 
> Infra Contact
> Alex Legler (a3li)

For the elections team,

> For the elections team,
> 
> - --
> Regards,
> 
> Jorge Vicetto (jmbsvicetto) - jmbsvicetto at gentoo dot org
> Gentoo- forums / ComRel / KDE / Elections / RelEng
> 



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [gentoo-dev-announce] Gentoo Council 2016 / 2017 election
  2016-06-18 18:11 ` [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
@ 2016-06-26 17:45   ` Jorge Manuel B. S. Vicetto
  2016-07-01  1:46     ` [gentoo-project] " Jorge Manuel B. S. Vicetto
  0 siblings, 1 reply; 5+ messages in thread
From: Jorge Manuel B. S. Vicetto @ 2016-06-26 17:45 UTC (permalink / raw
  To: gentoo-project; +Cc: gentoo-dev-announce, Gentoo Elections


[-- Attachment #1.1: Type: text/plain, Size: 5469 bytes --]

On 18-06-2016 18:11, Jorge Manuel B. S. Vicetto wrote:
> On 03-06-2016 23:38, Jorge Manuel B. S. Vicetto wrote:
> 
> 
> Dear Gentoo community,
> 
> the council election will open later tonight at 2016-06-19 00:00 UTC.
> The election booth will remain open until 2014-07-03 00:00 UTC.
> The election page for this election[1], contains all the information
> about the election.
> 
>   [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606

Dear Gentoo community,

this is a reminder that we have less than 1 week left for voting.
We're currently at under 20% turnout, so all those that haven't cast a
vote yet, might want to do that now.

Timestamp: 2016-06-26 17:40:01 UTC
Eligable voters: 242
Submitted votes: 48
Pending votes: 4
Turnout: 19.835%
Pending Turnout: 21.488%

As we only have 4 manifestos listed in the election page[1], I'd suggest
candidates without one, to help increase turnout by publishing their
manifestos.

> Please let us know if you find any issues with the page or with the
> election. In particular, make sure you're listed as a voter[2] or you
> won't be able to vote in the election.
> 
>  [2] -
> https://projects.gentoo.org/elections/council/2016/voters-council-201606.txt
> 
> The rules for the Council election as well as details on how to vote for
> this election are available in the Council Elections Archives[3]. In any
> case, here is the quick procedure on how to vote using votify:
> 
>      * If you're eligible to vote in this election, log in to
> dev.gentoo.org
>      * Type votify --new council-201606 to create a new ballot file
>      * Edit .ballot-council-201606 file in your home directory and rank
> the candidates
>      * Once you're finished, use votify --verify council-201606 command
> to verify the validity of your ballot file
>      * If everything is okay, use votify --submit council-201606 to
> submit your vote. Don't forget your vote doesn't count until you
> submit it.
>      * If you run into problems, you can either work them out yourself
> using votify --help or contact election officials and ask them for help
> 
> The elections for the Council include the pseudo _reopen_nominations
> candidate. If the pseudo-candidate '_reopen_nominations' appears in
> 7th place or higher those candidates that rank above
> '_reopen_nominations' will be the current council. A second period of
> election will be opened for the remaining council seats. No third
> period of election will be opened in the event '_repoen_nominations'
> ranks higher than the candidates necessary to fill the council[4].
> 
> In case there's a need to fill a seat during the council term due to a
> retirement, if no candidate ranked above the _reopen_nominations_
> candidate, a new election must be held to fill that seat. If
> there were candidates ranked above the _reopen_nominations_ candidate,
> it's up to the remaining council members to accept the next candidate in
> order of voting or open an election to fill the open seat.
> 
>   [3] - https://wiki.gentoo.org/wiki/Project:Elections/Council
>   [4] -
> http://www.gentoo.org/proj/en/council/meeting-logs/20090212-summary.txt
> 
>> Dear Gentoo Community,
>>
>> Nominations for the Gentoo Council 2016 / 2017 election will start at
>> 00:00 UTC 2016/06/04 (Saturday) and will remain open for the next two
>> weeks until 00:00 UTC, 2016/06/18 (Friday).
>>
>> All nominations must be sent to the gentoo-project mailing list. If you
>> were nominated and want to run, you have to accept your nomination on
>> the same mailing list.
>>
>> Here are the rules:
>>
>>     * Council elections generally happen once a year
>>     * The council is composed of seven elected members
>>     * Nominations are allowed from June 4th 00H00 UTC to June 18th
>> 00H00 UTC
>>     * Only Gentoo developers may be nominated
>>     * Anyone can nominate (nominating yourself is OK)
>>     * Nominees must accept their nomination before voting begins
>>     * Voting is opened from June 19th 00H00 UTC to July 3rd 00H00 UTC
>>       (there is one day of break between nominations and voting so the
>> infra team has time to set up everything)
>>     * Only Gentoo developers may vote
>>     * The list of Gentoo Developers is based on active membership
>> by June 3rd, 2016 (the day before the election was opened)
>>     * Gentoo uses the Condorcet method of voting
>>     * Results should be published around July 4th
>>
>> The election page for this election[1] will contain all pertinent
>> information regarding the election.
>>
>>  [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606
>>
>> If you don't know what the Gentoo Council is, you can read about it on
>> the project page[2].
>>
>>  [2] - https://wiki.gentoo.org/wiki/Project:Council
>>
>> If you want to ask a question or share your thoughts, contact any of
>> the election officials through the alias (elections@g.o) or at
>> IRC (Freenode #gentoo-elections).
>>
>> Officials:
>>
>> Chris Reffett (creffett)
>> Jorge Manuel B. S. Vicetto (jmbsvicetto)
>> Roy Bamford (NeddySeagoon)
>>
>> Infra Contact
>> Alex Legler (a3li)

For the elections team,

> For the elections team,
> 
>> For the elections team,
>>
>> - --
>> Regards,
>>
>> Jorge Vicetto (jmbsvicetto) - jmbsvicetto at gentoo dot org
>> Gentoo- forums / ComRel / KDE / Elections / RelEng
>>



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [gentoo-project] Re: [gentoo-dev-announce] Gentoo Council 2016 / 2017 election
  2016-06-26 17:45   ` Jorge Manuel B. S. Vicetto
@ 2016-07-01  1:46     ` Jorge Manuel B. S. Vicetto
  0 siblings, 0 replies; 5+ messages in thread
From: Jorge Manuel B. S. Vicetto @ 2016-07-01  1:46 UTC (permalink / raw
  To: gentoo-project; +Cc: gentoo-dev-announce, Gentoo Elections


[-- Attachment #1.1: Type: text/plain, Size: 5933 bytes --]

Dear Gentoo community,

let me start by apologizing for another "spam" message. On the bright
side, I promise this is the last one about voting for this election ;-)
I just want to recall everyone that the bells at the voting booth have
now started ringing as we're under 48 hours left to cast a vote. If you
haven't had a chance to cast your vote yet, please hurry up to the
election booth.

On 26-06-2016 17:45, Jorge Manuel B. S. Vicetto wrote:
> On 18-06-2016 18:11, Jorge Manuel B. S. Vicetto wrote:
>> On 03-06-2016 23:38, Jorge Manuel B. S. Vicetto wrote:

<snip>

> As we only have 4 manifestos listed in the election page[1], I'd suggest
> candidates without one, to help increase turnout by publishing their
> manifestos.

I want to thank all the candidates that have published their manifestos
- it seems to have helped with the turnout.

Election: council-201606
Timestamp: 2016-07-01 01:10:01 UTC
Eligable voters: 242
Submitted votes: 75
Pending votes: 3
Turnout: 30.992%
Pending Turnout: 32.231%

Finally, as the deadline approaches, if you have already voted, please
make sure you did run "votify --submit council-201606" or check that
your ballot is named ".ballot-council-201606-submitted" and not
".ballot-council-201606" or your vote won't count!!

>> Please let us know if you find any issues with the page or with the
>> election. In particular, make sure you're listed as a voter[2] or you
>> won't be able to vote in the election.
>>
>>  [2] -
>> https://projects.gentoo.org/elections/council/2016/voters-council-201606.txt
>>
>> The rules for the Council election as well as details on how to vote for
>> this election are available in the Council Elections Archives[3]. In any
>> case, here is the quick procedure on how to vote using votify:
>>
>>      * If you're eligible to vote in this election, log in to
>> dev.gentoo.org
>>      * Type votify --new council-201606 to create a new ballot file
>>      * Edit .ballot-council-201606 file in your home directory and rank
>> the candidates
>>      * Once you're finished, use votify --verify council-201606 command
>> to verify the validity of your ballot file
>>      * If everything is okay, use votify --submit council-201606 to
>> submit your vote. Don't forget your vote doesn't count until you
>> submit it.
>>      * If you run into problems, you can either work them out yourself
>> using votify --help or contact election officials and ask them for help
>>
>> The elections for the Council include the pseudo _reopen_nominations
>> candidate. If the pseudo-candidate '_reopen_nominations' appears in
>> 7th place or higher those candidates that rank above
>> '_reopen_nominations' will be the current council. A second period of
>> election will be opened for the remaining council seats. No third
>> period of election will be opened in the event '_repoen_nominations'
>> ranks higher than the candidates necessary to fill the council[4].
>>
>> In case there's a need to fill a seat during the council term due to a
>> retirement, if no candidate ranked above the _reopen_nominations_
>> candidate, a new election must be held to fill that seat. If
>> there were candidates ranked above the _reopen_nominations_ candidate,
>> it's up to the remaining council members to accept the next candidate in
>> order of voting or open an election to fill the open seat.
>>
>>   [3] - https://wiki.gentoo.org/wiki/Project:Elections/Council
>>   [4] -
>> http://www.gentoo.org/proj/en/council/meeting-logs/20090212-summary.txt
>>
>>> Dear Gentoo Community,
>>>
>>> Nominations for the Gentoo Council 2016 / 2017 election will start at
>>> 00:00 UTC 2016/06/04 (Saturday) and will remain open for the next two
>>> weeks until 00:00 UTC, 2016/06/18 (Friday).
>>>
>>> All nominations must be sent to the gentoo-project mailing list. If you
>>> were nominated and want to run, you have to accept your nomination on
>>> the same mailing list.
>>>
>>> Here are the rules:
>>>
>>>     * Council elections generally happen once a year
>>>     * The council is composed of seven elected members
>>>     * Nominations are allowed from June 4th 00H00 UTC to June 18th
>>> 00H00 UTC
>>>     * Only Gentoo developers may be nominated
>>>     * Anyone can nominate (nominating yourself is OK)
>>>     * Nominees must accept their nomination before voting begins
>>>     * Voting is opened from June 19th 00H00 UTC to July 3rd 00H00 UTC
>>>       (there is one day of break between nominations and voting so the
>>> infra team has time to set up everything)
>>>     * Only Gentoo developers may vote
>>>     * The list of Gentoo Developers is based on active membership
>>> by June 3rd, 2016 (the day before the election was opened)
>>>     * Gentoo uses the Condorcet method of voting
>>>     * Results should be published around July 4th
>>>
>>> The election page for this election[1] will contain all pertinent
>>> information regarding the election.
>>>
>>>  [1] - https://wiki.gentoo.org/wiki/Project:Elections/Council/201606
>>>
>>> If you don't know what the Gentoo Council is, you can read about it on
>>> the project page[2].
>>>
>>>  [2] - https://wiki.gentoo.org/wiki/Project:Council
>>>
>>> If you want to ask a question or share your thoughts, contact any of
>>> the election officials through the alias (elections@g.o) or at
>>> IRC (Freenode #gentoo-elections).
>>>
>>> Officials:
>>>
>>> Chris Reffett (creffett)
>>> Jorge Manuel B. S. Vicetto (jmbsvicetto)
>>> Roy Bamford (NeddySeagoon)
>>>
>>> Infra Contact
>>> Alex Legler (a3li)

For the elections team,

> For the elections team,
> 
>> For the elections team,
>>
>>> For the elections team,
>>>
>>> - --
>>> Regards,
>>>
>>> Jorge Vicetto (jmbsvicetto) - jmbsvicetto at gentoo dot org
>>> Gentoo- forums / ComRel / KDE / Elections / RelEng
>>>
> 
> 



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2016-07-01 19:26 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-06-03 23:38 [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
2016-06-11  0:28 ` [gentoo-dev-announce] Re: [gentoo-project] Gentoo Council 2016 / 2017 election (1 week nomination left) Jorge Manuel B. S. Vicetto
2016-06-18 18:11 ` [gentoo-dev-announce] Gentoo Council 2016 / 2017 election Jorge Manuel B. S. Vicetto
2016-06-26 17:45   ` Jorge Manuel B. S. Vicetto
2016-07-01  1:46     ` [gentoo-project] " Jorge Manuel B. S. Vicetto

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox