CONTRIBUTE

This is a short version of the Development Procedures.

1. Check if your code follows the coding conventions. If the code does not comply these style rules, your code will not be merged.

2. The master branch should always be in a working state. The RIOT maintainers will create release tags based on this branch, whenever a milestone is completed.

3. Comments on a pull request should be added to the request itself, and not to the commit.

4. Keep commits to the point, e.g., don't add whitespace/typo fixes to other code changes. If changes are layered, layer the patches.

5. Describe the technical detail of the change(s) as specific as possible.

6. Use Labels to help classify pull requests and issues.