[RESULT] [VOTE] merge the proton mailing list into the users/dev lists

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[RESULT] [VOTE] merge the proton mailing list into the users/dev lists

Robbie Gemmell-2
There were 13 binding +1 votes received and another 2 from users, with
no other votes received. The vote has passed.

I'll chat with infra in the days ahead about how things proceed.

Robbie
Reply | Threaded
Open this post in threaded view
|

Re: [RESULT] [VOTE] merge the proton mailing list into the users/dev lists

Robbie Gemmell-2
On 4 April 2016 at 16:03, Robbie Gemmell <[hidden email]> wrote:
> There were 13 binding +1 votes received and another 2 from users, with
> no other votes received. The vote has passed.
>
> I'll chat with infra in the days ahead about how things proceed.
>
> Robbie

I've discussed this with infra.

Whilst they wouldn't normally like to subscribe folks to other lists,
given the particular situation they said they thought it OK to
subscribe the ~50 relevant folks who aren't on both lists to users@,
provided we are prompt in addressing any concerns from those affected.

The old mail archive should remain in its current place, and we should
be able to alias proton@ towards users@ afterwards to allow incoming
mails to the address to keep working.

If I haven't seen anyone object in the next couple days, I will proceed to:
- Announce the upcoming changes in their own thread, for any folks not
following this as we go.
 -- Including details how to subscribe to users@ in advance, or how to
unsubscribe from proton@ in advance if they dont want to be moved.
- Raise an INFRA JIRA to move the PROTON JIRA mails to dev@
- Raise an INFRA JIRA to move the Proton GitHub mirror integration mails to dev@
- Wait a week or so and then send request for the relevant subscribers
be added to users@, and proton@ be shut off.

Robbie