On Fri, Apr 11, 2014 at 4:16 PM, Sylvain Joyeux <[email protected]> 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 <[email protected]> > 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 > [email protected] > http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev > _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
