Re: [RESULT] [VOTE] merge the proton mailing list into the users/dev lists
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.
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.