diff options
| -rw-r--r-- | docs/DeveloperPolicy.html | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html index 12e88d3525..0c62a1dbd1 100644 --- a/docs/DeveloperPolicy.html +++ b/docs/DeveloperPolicy.html @@ -428,11 +428,12 @@ Changes</a></div> <p>We believe in correct attribution of contributions to their contributors. However, we do not want the source code to be littered with random attributions "this code written by J Random Guy" (this is noisy - and distracting. In practice, the revision control system keeps a perfect + and distracting). In practice, the revision control system keeps a perfect history of who change what, and the CREDITS.txt file describes higher-level - contributions.</p> + contributions. If you commit a patch for someone else, please say "patch + contributed by J Random Guy!" in the commit message.</p> - <p>Overall, please do not add contributor names to the source base.</p> + <p>Overall, please do not add contributor names to the source code.</p> </div> |