Stream: general

Topic: miri email team


RalfJ (Oct 29 2018 at 10:24, on Zulip):

@nikomatsakis what would it take to get an email alias somewhere that we could set up to receive CI notifications for miri?

RalfJ (Oct 29 2018 at 10:24, on Zulip):

Currently whoever pushed the last thing to master gets the cron job failure notifications, which is far from ideal

RalfJ (Oct 29 2018 at 13:15, on Zulip):

(it'd take me no time to set up miri@verschluesse.lt, but maybe that wouldn't be the best place for this alias)

nikomatsakis (Oct 30 2018 at 17:47, on Zulip):

I .. don't know

nikomatsakis (Oct 30 2018 at 17:47, on Zulip):

maybe ask somebody in the infra team (on Discord, I think)

Jake Goulding (Oct 30 2018 at 18:46, on Zulip):

@RalfJ alex mentioned that in our meeting today. Lists are done thru DNS and it's kind of annoying to edit frequently, but they can exist.

RalfJ (Oct 30 2018 at 18:57, on Zulip):

lists through... DNS? I don't think I understand, but whatever.^^

RalfJ (Oct 30 2018 at 18:57, on Zulip):

@Oli what do you think?

Pietro Albini (Oct 30 2018 at 18:57, on Zulip):

through our dns provider

oli (Oct 31 2018 at 07:49, on Zulip):

Whatever works, works for me.

Last update: Nov 21 2019 at 23:25UTC