More detailed outline of the general plan (including some rationale for the move)
http://rock.opendfki.de/wiki/WikiStart/OngoingWork/GitHubMigration 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
