diff options
| author | Théo Zimmermann | 2019-07-09 18:21:16 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-07-11 09:55:19 +0200 |
| commit | a15a0a05e02bab2ed3877d45555b5224605db8de (patch) | |
| tree | 63f86a8253114f36f038bf69c8ec1b49a72ea093 | |
| parent | ffa7a1da5927c7c4a425a3c4d9b3decf45a2732b (diff) | |
More positive wording of the foreword to the contributing guide.
Co-authored-by: Jim Fehrle <jfehrle@sbcglobal.net>
| -rw-r--r-- | CONTRIBUTING.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8d5ef95db4..89f99b7c2c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -2,12 +2,12 @@ ## Foreword ## -As with any piece of code or documentation, this guide can bitrot if -people forget to update it when contributing processes, development -tools, or the Coq ecosystem changes. If you notice anything -inaccurate or outdated, please signal it in a new issue, or fix it in -a new pull request. If you find some parts are not sufficiently -clear, you may open an issue as well. +As with any documentation, this guide is most useful if it's promptly +updated to reflect changes in processes, development tools, or the Coq +ecosystem. If you notice anything inaccurate or outdated, please +signal it in a new issue, or fix it in a new pull request. If you +find some parts are not sufficiently clear, you may open an issue as +well. ## Table of contents ## |