[Rock-dev] Github migration - almost there

[Sylvain Joyeux]

>
> So the migration would be more smooth to our customers...
>
Nobody's paying me, so I don't have customers. I do have users though.

And yes, I am finishing up a smooth upgrade path for them. The current
package sets will auto-import the new ones and issue a warning that the
package_sets section of the manifest should be updated.

Sylvain
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140703/113e9a7f/attachment.htm