diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md new file mode 100644 index 00000000..224c27d3 --- /dev/null +++ b/CONTRIBUTING.md @@ -0,0 +1,19 @@ +## Contribution Guidelines + +- Do not add files with personal, private data. + +- Initially, we try to stay close to the "Public ITS" distribution. + +- A pull request should adress one, and only one, concern. For + example, adding a program or bug fix. + +- Individual commits within a pull request should consist of atomic + changes. A single commit should neither be in a partial state, nor + should it contain multiple unrelated changes that could be split + into separate commits. + +- Add or update documentation in the pull request. That includes both + README files in the repository, and files put into the ITS disk + image. + +- Do use the git history rewriting operations to modify pull request.