<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 05/15/2014 10:41 AM, Sylvain Joyeux
wrote:<br>
</div>
<blockquote
cite="mid:CAKDpF4SiwFvxieCHDMNMn8qx_PpOYNL5O_AhvJ=AC+J9qnrf-Q@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Since we were talking about setting up actual push
permissions when moving to github, I've drafted a "process
with github" 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 moz-do-not-send="true"
href="http://rock.opendfki.de/wiki/WikiStart/Standards/RG9">http://rock.opendfki.de/wiki/WikiStart/Standards/RG9</a><br>
</div>
</blockquote>
It looks nice to me!<br>
<br>
Javier.<br>
<blockquote
cite="mid:CAKDpF4SiwFvxieCHDMNMn8qx_PpOYNL5O_AhvJ=AC+J9qnrf-Q@mail.gmail.com"
type="cite">
<div dir="ltr">
<div><br>
</div>
<div>Sylvain</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Rock-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Rock-dev@dfki.de">Rock-dev@dfki.de</a>
<a class="moz-txt-link-freetext" href="http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev">http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>