The Coq Community Survey 2022 reveal that a large part of the community (especially newcomers) was not aware of the code of conduct, and an even larger part had not read it. This is an attempt at improving the situation by advertising the Code of Conduct more broadly, through the Coq website, since it applies beyond the boundaries of the Coq repositories. This also follows the recent addition of a section specifically dedicated to asking questions on Coq forums in the code of conduct.
The Coq Community Survey 2022 reveal that a large part of the community (especially newcomers) was not aware of the code of conduct, and an even larger part had not read it. This is an attempt at improving the situation by advertising the Code of Conduct more broadly, through the Coq website, since it applies beyond the boundaries of the Coq repositories. This also follows the recent addition of a section specifically dedicated to asking questions on Coq forums in the code of conduct.
cc @coq/code-of-conduct-team