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
