diff options
| author | Jason Gross | 2019-02-16 19:44:39 +0100 |
|---|---|---|
| committer | GitHub | 2019-02-16 19:44:39 +0100 |
| commit | 0e82d6b1a3006ad260e91c06be9151bfdd406f8e (patch) | |
| tree | 95a4d5f7f1d806d10189331df1ce26a1725d1cf6 | |
| parent | 2533f5ca0eea4ceb7d1cae3b91be3be2eb525ede (diff) | |
Fix English grammar.
Co-Authored-By: Zimmi48 <theo.zimmermann@univ-paris-diderot.fr>
| -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>. |