From bb5a21d8e62de4e032c8ffea9087c909e2a3dfbb Mon Sep 17 00:00:00 2001
From: Olivier Sauter <olivier.sauter@epfl.ch>
Date: Fri, 12 Jul 2019 13:41:32 +0000
Subject: [PATCH] Update README

Ask to add "how to do" the various typical steps
---
 README | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/README b/README
index aafa7ea6..1b203962 100644
--- a/README
+++ b/README
@@ -7,6 +7,7 @@ git-hosted version currently under development for automated tests etc.
 ## Policy for contributing
 * `master` branch is protected, changes can only be made via merge requests.
 * To propose changes:
- * Open an issue to discuss the matter
- * Then open a branch to work on the issue
- * When done, submit a merge request to the master branch.
+ * Open an issue to discuss the matter (please give link/explanation how to do that)
+ * Then open a branch to work on the issue (please give command to execute)
+ * When done, submit a merge request to the master branch. (please give series of commands to execute, examples, like "make changes", add, push, if tests passed ask for merge with command to do)
+ 
-- 
GitLab