From a15a0a05e02bab2ed3877d45555b5224605db8de Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Tue, 9 Jul 2019 18:21:16 +0200 Subject: More positive wording of the foreword to the contributing guide. Co-authored-by: Jim Fehrle --- CONTRIBUTING.md | 12 ++++++------ 1 file 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 ## -- cgit v1.2.3