[ghc-steering-committee] Dealing with abuse on the issue tracker

Dear Committee members, I'd like to bring the following tweet (thread) from Matt to your attention: https://x.com/mattoflambda/status/1815536812376707224 It concerns pull request: Allow reserved identifiers as fields in `OverloadedRecordDot` by parsonsmatt · Pull Request #668 · ghc-proposals/ghc-proposals (github.com) https://github.com/ghc-proposals/ghc-proposals/pull/668. We do not seem to be as welcoming as we could/should be? My stance in general around this is probably a bit old fashioned, and what I learned on IRC back then: not to fuel and engage with negative behavior. I'm curious what the other committee members think about this. Best, Moritz