[ghc-steering-committee] Managing github notifications?

[Sandy Maguire]

Hi all,

I'm wondering if anyone has a good strategy for dealing with github noise.
Right now I feel like I need to choose between silence and overwhelming
volume, and neither is good for me to do my job on this committee.

I'd like to be informed when someone opens a new proposal PR in order to
read it, but not for any of the follow-up commentary. As best I can tell,
there is no github option that allows for this.

Any advice on this would be greatly appreciated.

Thanks,
Sandy

-- 
I'm currently travelling the world, sleeping on people's couches and doing
full-time collaboration on Haskell projects. If this seems interesting to
you, please consider signing up as a host!
https://isovector.github.io/erdos/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191126/15c47e1f/attachment.html>