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
