{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/6477","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/6477/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/6477/comments","events_url":"https://api.github.com/repos/coq/coq/issues/6477/events","html_url":"https://github.com/coq/coq/issues/6477","id":283509936,"number":6477,"title":"Code of Conduct for the Coq community.","user":{"login":"ejgallego","id":7192257,"avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"labels":[{"id":760587030,"url":"https://api.github.com/repos/coq/coq/labels/kind:%20meta","name":"kind: meta","color":"d18708","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":19,"created_at":"2017-12-20T10:05:56Z","updated_at":"2017-12-21T13:27:05Z","closed_at":null,"author_association":"MEMBER","body":"We don't have a code of conduct for Coq yet; feel free to propose the model you'd like to see adopted by Coq. GitHub itself is governed by https://github.com/blog/2039-adopting-the-open-code-of-conduct , see also https://opensource.guide/code-of-conduct/\r\n\r\nPersonally, I'd like to see the project to adopt a strong zero-tolerance-to-bigotry policy."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/353350429","html_url":"https://github.com/coq/coq/issues/6477#issuecomment-353350429","issue_url":"https://api.github.com/repos/coq/coq/issues/6477","id":353350429,"user":{"login":"herbelin","id":460771,"avatar_url":"https://avatars1.githubusercontent.com/u/460771?v=4","gravatar_id":"","url":"https://api.github.com/users/herbelin","html_url":"https://github.com/herbelin","followers_url":"https://api.github.com/users/herbelin/followers","following_url":"https://api.github.com/users/herbelin/following{/other_user}","gists_url":"https://api.github.com/users/herbelin/gists{/gist_id}","starred_url":"https://api.github.com/users/herbelin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/herbelin/subscriptions","organizations_url":"https://api.github.com/users/herbelin/orgs","repos_url":"https://api.github.com/users/herbelin/repos","events_url":"https://api.github.com/users/herbelin/events{/privacy}","received_events_url":"https://api.github.com/users/herbelin/received_events","type":"User","site_admin":false},"created_at":"2017-12-21T13:27:05Z","updated_at":"2017-12-21T13:27:05Z","author_association":"OWNER","body":"I do think that showing that the abuser is wrong in his attitude is the strongest message that we could send (e.g. in systematically replying to abusing comments by enforcing instead our values - and our values are to be welcoming, respectful, open-minded, ...) is better than blocking an abuser which would leave the situation without conclusion, and with the feeling that \"something is wrong\" in the discourse that pretends to be welcoming, respectful and open-minded."}}
{"actor":{"display_login":"herbelin"}}