diff options
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 05f01e4a97..ce057677bf 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -48,7 +48,7 @@ the bug minimizer is the `find-bug.py` script in that repo). ### Triaging bug reports Triaging bug reports (adding labels, closing outdated / resolved bugs) -requires to be granted some permissions. You may request members of the +requires you to be granted some permissions. You may request members of the **@coq/core** team to add you to the contributors team. They can do so using this link: <https://github.com/orgs/coq/teams/contributors/members?add=true>. |