This is a short version of the Development Procedures.
-
Check if your code follows the coding conventions. If the code does not comply these style rules, your code will not be merged.
-
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.
-
Comments on a pull request should be added to the request itself, and not to the commit.
-
Keep commits to the point, e.g., don't add whitespace/typo fixes to other code changes. If changes are layered, layer the patches.
-
Describe the technical detail of the change(s) as specific as possible.
-
Use Labels to help classify pull requests and issues.