[Rock-dev] Migration to github

[Peter Soetens]

On Wed, Apr 23, 2014 at 3:23 PM, Sylvain Joyeux <bir.sylvain at gmail.com> wrote:
> 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.

Hmm. you're probably right from the user perspective. I saw an
advantage as a back-up server, github has suffered from hour-long DOS
attacks in the past.

Peter