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

[Malte Ott]

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-proposals>to 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.