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

On 2024-07-25 08:48, Simon Peyton Jones wrote:

I agree -- I'd like our main proposals process page https://github.com/ghc-proposals/ghc-proposalsto explicitly refer to the HF guidelines.

I don't want to write new guidelines! I don't think we need to modify the HF ones except to say (on our page) that we expect contributors (not just committee members) to our GitHub to adhere to them. Our GitHub is our walled garden, and we can state requirements for participation. (Is it technically possible to prevent particular people posting on GitHub?)

Yes, people can technically be banned from interaction with repositories. Thus any policy would not be unenforceable.