diff options
| author | Matthieu Sozeau | 2018-09-19 10:26:19 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-09-19 10:26:19 +0200 |
| commit | eeab61130a2867cd7f40f86a25911b27d1962d3a (patch) | |
| tree | 594a211917add0089c0a11444393ad4089e05927 /.github | |
| parent | c32c8e2b18ea76087d9dbdb2b56a550aae61c917 (diff) | |
| parent | ddce09aa86e469676eefb21dccac3f09284c0e0c (diff) | |
Merge PR #8071: Propose a Code of Conduct for Coq.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index bac6ccd823..9009c798f2 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -46,6 +46,9 @@ /CONTRIBUTING.md @Zimmi48 # Secondary maintainer @maximedenes +/CODE_OF_CONDUCT.md @Zimmi48 +# Secondary maintainer @mattam82 + /dev/doc/ @Zimmi48 # Secondary maintainer @maximedenes |