I'm ok with the way it is right now– once NuttX graduates from incubator status we can make changes if needed. I understand Justin's points about the utility of keeping the lists all in one for now.
cheers adam On Wed, Dec 25, 2019 at 3:54 PM Gregory Nutt <spudan...@gmail.com> wrote: > > > +1 > > > > especially for the commits and notifications, so they can be filtered. > I'm > > ok with separate lists for commits and notifications, I just want them to > > be separate from the lists meant for humans :) > > I think the idea has been nix'ed by Justin. So I am not going to pursue > this. Others may want to buck the system, but I have already caused > enough problems. > > > -- Adam Feuer <a...@starcat.io>
