git.iko.soy/Idris-dev
on master help sign in
Add campsite rule to CONTRIBUTING.md
0c0d414David Christiansen
CONTRIBUTING.md+5
compare with master
unifiedsplit
@@ -20,6 +20,11 @@ Here are a few guidelines that we would like contributors to follow so that we c
20Before you report an issue, or wish to add cool functionality please try and check to see if there are existing [issues](https://github.com/idris-lang/Idris-dev/issues) and [pull requests](https://github.com/idris-lang/Idris-dev/pulls).
20Before you report an issue, or wish to add cool functionality please try and check to see if there are existing [issues](https://github.com/idris-lang/Idris-dev/issues) and [pull requests](https://github.com/idris-lang/Idris-dev/pulls).
21We do not want you wasting your time, duplicating somebody's work!
21We do not want you wasting your time, duplicating somebody's work!
22
22
23+## The Campsite Rule
24+
25+A basic rule when contributing to Idris is the **campsite rule**: leave the codebase in better condition than you found it.
26+Please clean up any messes that you find, and don't leave behind new messes for the next contributor.
27+
23## Making Changes
28## Making Changes
24
29
25Idris developers and hackers try to adhere to something similar to the [successful git branching model](http://nvie.com/posts/a-successful-git-branching-model/).
30Idris developers and hackers try to adhere to something similar to the [successful git branching model](http://nvie.com/posts/a-successful-git-branching-model/).