[Rock-dev] Migration to github

[Sylvain Joyeux]

On Wed, Apr 23, 2014 at 3:17 PM, Peter Soetens <peter at thesourceworks.com>wrote:

> I'm proposing to leave gitorious as well for the Orocos Toolchain and
> related libraries...
>
Yes .. I knew you would be happy about that one ;-)

It would boil down to changing the installation instructions and
> changing the bootstrap links to what exists on github and to reverse
> the synchronisation scripts, ie, force-sync from github to gitorious.
>
In the Rock case, the plan was to drop gitorious completely. This is
transparent to both developers and users as autoproj will update the git
push/pull URLs.

Sylvain
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140423/53da4688/attachment.htm