diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index a68d49404d52acd7d27dd72a7a50cca3c807069b..28457df3f0d23f3899450e2c1cfffe6530e80285 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,4 +1,6 @@
 # CONTRIBUTE
+This is a short version of the [Development Procedures](https://github.com/RIOT-OS/RIOT/wiki/Development-procedures).
+
 1. Check if your code follows the [coding conventions](https://github.com/RIOT-OS/RIOT/wiki/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.
@@ -8,3 +10,5 @@
 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](https://github.com/RIOT-OS/RIOT/wiki/Labels) to help classify pull requests and issues.