diff options
| author | Maxime Dénès | 2019-08-29 19:15:19 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-08-29 19:15:19 +0200 |
| commit | 38aa59e1aa2edeca7dabe4275790295559751e72 (patch) | |
| tree | f21408441556dcfb4a46f4cdc05cc318c8654d00 | |
| parent | 7153cc3a4d886944f9e09a10ea106cefb1e9d0f8 (diff) | |
| parent | 406fb758fe8d94f987567db4e0c8303faf7c5522 (diff) | |
Merge PR #10693: Create a maintainer team for the contributing process files.
Reviewed-by: ejgallego
Reviewed-by: maximedenes
| -rw-r--r-- | .github/CODEOWNERS | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 2a325f2d71..698452cb2b 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,10 +1,17 @@ # This file describes the maintainers for the main components. See # `dev/doc/MERGING.md`. -########## GitHub metadata, including this file ########## +########## Contributing process ########## -/.github/ @maximedenes -# Secondary maintainer @Zimmi48 +/.github/ @coq/contributing-process-maintainers + +/CONTRIBUTING.md @coq/contributing-process-maintainers + +/dev/doc/release-process.md @coq/contributing-process-maintainers + +/dev/doc/MERGING.md @coq/pushers +# This ensures that all members of the @coq/pushers +# team are notified when the merging doc changes. ########## Build system ########## @@ -45,19 +52,12 @@ azure-pipelines.yml @coq/ci-maintainers /INSTALL* @Zimmi48 # Secondary maintainer @maximedenes -/CONTRIBUTING.md @Zimmi48 -# Secondary maintainer @maximedenes - /CODE_OF_CONDUCT.md @Zimmi48 # Secondary maintainer @mattam82 /dev/doc/ @Zimmi48 # Secondary maintainer @maximedenes -/dev/doc/MERGING.md @coq/pushers -# This ensures that all members of the @coq/pushers -# team are notified when the merging doc changes. - /dev/doc/changes.md @ghost # Trick to avoid getting review requests # each time someone modifies the dev changelog |