Resolve "Add in Contributing.md that only compilation fixes are allowed in develop branch"
Closes #1550 (closed)
This is a proposition to limit the commits pushed directly on develop (restricted to COMP commits when the Dashboard is broken).
Feel free to give your opinion on this proposition. If we don't have a consensus, I will propose a different version.