[Rock-dev] Migration to github

Sylvain Joyeux bir.sylvain at gmail.com
Fri Apr 11 16:16:26 CEST 2014


More detailed outline of the general plan (including some rationale for the
move)

   http://rock.opendfki.de/wiki/WikiStart/OngoingWork/GitHubMigration

Sylvain


On Fri, Apr 11, 2014 at 2:25 PM, Sylvain Joyeux <bir.sylvain at gmail.com>wrote:

> We've had a DFKI-private discussion a month or so ago about
>
>  1/ migrating to github
>  2/ enabling commit control (i.e. give commit access to packages only to
> the package
>      maintainers, and use merge requests / pull requests for everybody
> else)
>
> The outcome was an OK in principle, especially given that it would mean
> very little changes for non-developers (developers would only have to sign
> in to github)
>
> OK ... Now ... I have some spare time, so ...
>
> What about I start with rock-base and rock-toolchain ?
>
> Sylvain
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140411/f480bde1/attachment.htm 


More information about the Rock-dev mailing list