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/
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.orghttps://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee