<div dir="ltr">We've had a DFKI-private discussion a month or so ago about <div><br></div><div> 1/ migrating to github</div><div> 2/ enabling commit control (i.e. give commit access to packages only to the package </div>
<div> maintainers, and use merge requests / pull requests for everybody else)</div><div><br></div><div>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)</div>
<div><br></div><div>OK ... Now ... I have some spare time, so ...</div><div><br></div><div>What about I start with rock-base and rock-toolchain ?</div><div><br></div><div>Sylvain</div></div>