[Rock-dev] Migration to github

[Sylvain Joyeux]

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/cf4aa777/attachment.htm