Zulip Chat Archive

Stream: Zulip meta

Topic: Notifications from github

Scott Morrison (Mar 26 2021 at 03:37):

I've realised that I ignore my github notifications, with the result that much of my PR reviewing is "drive by" --- I make some suggestions, but don't necessarily come back to the same PR quickly if it's not of core interest too me. I've just been catching up on some of these and apologising.

What I would really like is zulip integration, so a bot sent me a private message on zulip when people @mentioned me on github. Does anyone know how to do this?

Julian Berman (Mar 26 2021 at 13:59):

(Google finds https://zulip.com/integrations/doc/github which I'm sure is worth a quick look to check if your personal user stream is a stream you can use with that) -- but more broadly just to be sure you know --

Julian Berman (Mar 26 2021 at 13:59):

When GitHub sends emails, they tag an email header which says the reason the email was sent to you

Julian Berman (Mar 26 2021 at 14:00):

So if it's helpful to you by chance, you can differentiate between emails sent to you because you're subscribed to a repo and emails sent because you're mentioned, say.

Julian Berman (Mar 26 2021 at 14:03):

https://docs.github.com/en/github/managing-subscriptions-and-notifications-on-github/configuring-notifications#filtering-email-notifications -- looks like these days it's via the CC header (which gets set to a different email address depending on why you got the notification, so for mentions, it's mention@noreply.github.com )

Last updated: Dec 20 2023 at 11:08 UTC