[Rock-dev] Migration to github

[Peter Soetens]

On Fri, Apr 11, 2014 at 4:16 PM, Sylvain Joyeux <bir.sylvain at gmail.com> wrote:
> More detailed outline of the general plan (including some rationale for the
> move)
>
>    http://rock.opendfki.de/wiki/WikiStart/OngoingWork/GitHubMigration

I'm proposing to leave gitorious as well for the Orocos Toolchain and
related libraries...

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.

Peter

>
> Sylvain
>
>
> On Fri, Apr 11, 2014 at 2:25 PM, Sylvain Joyeux <bir.sylvain at gmail.com>
> wrote:
>>
>> 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
>
>
>
> _______________________________________________
> Rock-dev mailing list
> Rock-dev at dfki.de
> http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
>