<div dir="ltr"><div>Hi all,<br><br></div>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.<br><br><div>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.</div><div><br></div><div>Any advice on this would be greatly appreciated.<br><br></div><div>Thanks,<br></div><div>Sandy<br></div><div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>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! <a href="https://isovector.github.io/erdos/" target="_blank">https://isovector.github.io/erdos/</a><br></div></div></div></div></div></div></div></div>