<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 10/24/2013 04:03 PM, Alexander Duda
wrote:<br>
</div>
<blockquote cite="mid:526928B5.90000@dfki.de" type="cite">
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
Since we are now no longer using
git://gitorious.org/orocos-toolchain/rock-utilrb.git all members
of <a moz-do-not-send="true"
href="https://gitorious.org/+rock-core-maintainers">+rock-core-maintainers</a>
have no longer push rights to tools/utilrb. Therefore, how is the
work-flow to push new commits? <br>
</blockquote>
I would happily give push rights to "regular" comitters to utilrb
(you, thomas), and for the others -> merge requests.<br>
<br>
Sylvain
</body>
</html>