For completeness, I'll respond here saying the same: I prefer notifications list. I can watch the GitHub repo if i want more prominent notifications.
On Wed, Aug 3, 2016, 10:58 Keith Turner <[email protected]> wrote: > Currently github pull request are not generating emails to any list. > I want to file an issue w/ infra to fix this, but I was wondering if > anyone had a preference on which list to send to? I am slightly > leaning towards sending the emails to the notfications list, but I can > see value in having those going to the dev list. > > I accidentally sent this to the wrong list. Christopher had > responded the he preferred notifications. > > https://groups.google.com/forum/#!msg/fluo-dev/Nxz6ndYVRxM/2amblvRwBAAJ >
