[Rock-dev] push rights to utilrb

[Sylvain Joyeux]

On 10/24/2013 04:03 PM, Alexander Duda wrote:
> Since we are now no longer using
> git://gitorious.org/orocos-toolchain/rock-utilrb.git all members of
> +rock-core-maintainers <https://gitorious.org/+rock-core-maintainers>
> have no longer push rights to tools/utilrb. Therefore, how is the
> work-flow to push new commits?
I would happily give push rights to "regular" comitters to utilrb (you,
thomas), and for the others -> merge requests.

Sylvain
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20131024/11449c01/attachment.htm