Skip to content

add e-mail addresses for the teams #189

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Dec 15, 2018
Merged

add e-mail addresses for the teams #189

merged 2 commits into from
Dec 15, 2018

Conversation

japaric
Copy link
Member

@japaric japaric commented Aug 22, 2018

This a proposal to give each team an e-mail address. As discussed in the last
meeting we'll be using the [email protected] format for the
e-mail addresses.

This proposal (PR) needs at least 10 votes (approvals) from @rust-embedded/all
to be accepted. After the proposal has been accepted we'll proceed to implement
it.

@rust-embedded/all please vote on this proposal using pull request reviews.
Or if you have a concern leave a comment.

@japaric japaric requested review from dylanmckay, jcsoo and a team as code owners August 22, 2018 11:29
@japaric japaric added the needs-decision This RFC or PR needs to be approved by the majority of reviewers before it's merged label Aug 22, 2018
adamgreig
adamgreig previously approved these changes Aug 22, 2018
hannobraun
hannobraun previously approved these changes Aug 22, 2018
andre-richter
andre-richter previously approved these changes Aug 22, 2018
sekineh
sekineh previously approved these changes Aug 22, 2018
@v-thakkar v-thakkar requested review from v-thakkar and removed request for v-thakkar August 22, 2018 16:32
korken89
korken89 previously approved these changes Aug 22, 2018
@jamesmunns jamesmunns self-requested a review August 22, 2018 20:41
jamesmunns
jamesmunns previously approved these changes Aug 22, 2018
thejpster
thejpster previously approved these changes Aug 22, 2018
danc86
danc86 previously approved these changes Aug 22, 2018
therealprof
therealprof previously approved these changes Aug 22, 2018
ryankurte
ryankurte previously approved these changes Aug 23, 2018
@japaric
Copy link
Member Author

japaric commented Aug 23, 2018

10 people have approved this proposal so I'm going to mark it as "accepted".

Before we land this PR we need to implement the e-mail aliases but I believe that's blocked on updating the DNS infrastructure (#156) so I'm going to mark this as blocked for now. cc @nastevens

@japaric japaric added S-blocked decision-accepted We voted on this proposal and accepted it and removed needs-decision This RFC or PR needs to be approved by the majority of reviewers before it's merged labels Aug 23, 2018
@nastevens
Copy link
Member

Initial changes are up for DNS infrastructure (#156) so we can start thinking about this again. I have not personally set up mailing list infrastructure before - is there anyone with experience in this that can work with me?

@japaric
Copy link
Member Author

japaric commented Sep 4, 2018

@ryankurte mentioned in #153 that they have experience setting up mail aliases using mailgun.

@ryankurte
Copy link
Contributor

Yep! The mailgun add-domain stuff should get you most of the way there, then I just add routes for each address. Can check your work here or via email if you would like, and let me know if you need any more help?

posborne
posborne previously approved these changes Sep 5, 2018
nastevens
nastevens previously approved these changes Sep 7, 2018
@nastevens
Copy link
Member

@ryankurte - If you're able to take a look at #156 that gets the base DNS terraform config set up. From there it should be straightforward to add the teams subdomain and appropriate MX records to make the lists happen.

@japaric
Copy link
Member Author

japaric commented Nov 20, 2018

@rust-embedded/infrastructure now that the DNS stuff has been sorted out, any chance you could look into setting up the e-mail aliases?

@japaric
Copy link
Member Author

japaric commented Dec 15, 2018

The infra team is currently setting up the team e-mails!

I have updated this PR to list only the team e-mails that are in place. That way we can land this PR now and then add the other e-mails in follow-up PRs.

r? anyone

Copy link
Contributor

@korken89 korken89 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@korken89
Copy link
Contributor

bors r+

bors bot added a commit that referenced this pull request Dec 15, 2018
189: add e-mail addresses for the teams r=korken89 a=japaric

This a proposal to give each team an e-mail address. As discussed in the last
meeting we'll be using the `[email protected]` format for the
e-mail addresses.

This proposal (PR) needs at least 10 votes (approvals) from @rust-embedded/all
to be accepted. After the proposal has been accepted we'll proceed to implement
it.

@rust-embedded/all please vote on this proposal using [pull request reviews].
Or if you have a concern leave a comment.

[pull request reviews]: https://help.github.com/articles/about-pull-request-reviews/

Co-authored-by: Jorge Aparicio <[email protected]>
@bors
Copy link
Contributor

bors bot commented Dec 15, 2018

Build succeeded

@bors bors bot merged commit 41d8bbe into master Dec 15, 2018
@bors bors bot deleted the e-mail branch December 15, 2018 21:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
decision-accepted We voted on this proposal and accepted it
Projects
None yet
Development

Successfully merging this pull request may close these issues.