Description
re notifications - I think it would be useful and important to get notification set up. Posting notifications to irc is really easy and low cost (to #rust-bots, so as not to pollute other channels), although I'm not sure exactly how valuable it is.
Email would be better, but I sympathise with the pain of getting it working. For triage bot I ended up sending via gmail using nodemailer.
dikaiosune:
is github not sending notifications from the initial status update comments? Or are you referring to other intermediate items (like so-and-so has checked a box or registered a concern)?
nrc:
it probably is, but I get so many GH notifications that they get lost - I have no way to mark pings as special, afaik (I could just get notifications for pings, I guess, but that is still a lot of GH mail).
Sounds like #rust-bots will be easier to set up, but perhaps less useful (since a team member would need to be online to see a ping).