[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