<div dir="ltr"><div><div><div><div>Hello,<br><br></div>I suggest that we move to github permanently.<br><br>* The workflow is better than both mailing list and trac. Anyone 
interested can subscribe and see all the patches being posted. And 
patches are not lost because we have a list of outstanding ones. These 
are the major features that was not covered by the other tools.<br>
A better tool won't solve the core of our reviews problems (we need more
 people to get involved) but I think it's an improvement anyway.<br>
* github is the cool place to be these days :)<br>
* People are getting used to the pull request workflow, so we would lower the barrier.<br>* Someone else is maintaining the service. We are having too many downtimes imo for something critical like code repositories.<br>
</div></div><br></div><div>This is about the core modules. I'm not sure about activities.<br></div><div><br>-- <br>Daniel Narvaez<br>
</div></div>