Stream: general

Topic: github beta notifications

Santiago Pastorino (Apr 08 2020 at 12:54, on Zulip):

does someone knows if it's possible in beta notifications or even in regular notifications to track notifications only coming from PRs?

Santiago Pastorino (Apr 08 2020 at 12:57, on Zulip):

from the filters doesn't seem to be possible, there's an is:issue-or-pull-request but not an is:issue, is:pull-request or is:pr

detrumi (Apr 08 2020 at 13:01, on Zulip):

These docs state that it's not currently supported

Santiago Pastorino (Apr 08 2020 at 17:03, on Zulip):

@detrumi thanks, I guess if it's there at some point they are going to support that

Last update: May 29 2020 at 18:00UTC