[Rock-dev] GitHub migration - status and next steps.

[Sylvain Joyeux]

On Sun, Jun 8, 2014 at 12:15 AM, Jakob Schwendner <jakob.schwendner at dfki.de>
wrote:

>   - one question: should not we split the rock package set into
> subprojects as well (for me, it is +1, it would make more sense from a
> management point of view to have a package and its package set in the same
> organization)
>
>  It seems cleaner to do it this way. But its adding more includes at the
> manifest, right? Maybe leaving it for now would be ok.
>
Would create a rock package set which would simply auto-import the other
ones. But I agree, we can do that later.

Sylvain
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140608/9ce0615b/attachment.htm