<div dir="ltr"><div>Since we were talking about setting up actual push permissions when moving to github, I&#39;ve drafted a &quot;process with github&quot; document.</div><div><br></div><div>PLEASE REVIEW</div><div><br></div>
<div>It will of course need to be updated as we go with it, but it is important to have a consensus on at least the first version ...</div><div><br></div>   <a href="http://rock.opendfki.de/wiki/WikiStart/Standards/RG9">http://rock.opendfki.de/wiki/WikiStart/Standards/RG9</a><br>
<div><br></div><div>Sylvain</div></div>