documentation/dev-guide.md

 ---
 title: Developer guide
 ---
+
 # IMPORTANT 
 
 If you have a local clone of the repository that **predates Feb. 19th, 2025, you must absolutely make a new clone**. 
@@ -16,6 +17,7 @@ All contributions are welcome. To start coding :
 - either check the issues or get in touch with the team (see [Contact](contact) page) to join the collaboration
 - clone or fork the repository
 - use an existing branch or create one according to the [branching workflow](#branching-workflow)
+- edit or add to the code, making sure to follow the [Push rules](#push-rules) and other guidelines from this wiki !
 
 
 # Branching strategy : git-flow