On Sat, 30 Mar 2019 at 15:28, Shane Curcuru wrote:
>
> sebb wrote on 3/30/19 7:03 AM:
> > It looks like the Whimsy GitHub instance [1] isn't configured to send
> > PR notifications to any of the Whimsy mailing lists, only to
> > individual watchers.
> >
> > I think it would make sense for PRs to b
sebb wrote on 3/30/19 7:03 AM:
> It looks like the Whimsy GitHub instance [1] isn't configured to send
> PR notifications to any of the Whimsy mailing lists, only to
> individual watchers.
>
> I think it would make sense for PRs to be sent to the dev@ list,
> likewise for issues, though I think it
