Hi Ciro, I think deactivating the github issues makes sense. And, I'll happily sign off on a patch to the CONTRIBUTING document if you want to create a quick review request :).
@Ali: Could you add me to the gem5 github group? I can take care of removing the issue tracker and other github admin stuff. Cheers, Jason On Mon, Apr 9, 2018 at 2:17 PM Ciro Santilli <ciro.santi...@gmail.com> wrote: > No problem Jason, > > Do we think we should delete the GitHub issues completely or just > leave it there? > > If not, people will still open issues there, and what should we do about > those? > > An intermediate approach is to add a CONTRIBUTING.md saying that "the > official issue tracker is the mailing list". > _______________________________________________ > gem5-dev mailing list > gem5-dev@gem5.org > http://m5sim.org/mailman/listinfo/gem5-dev _______________________________________________ gem5-dev mailing list gem5-dev@gem5.org http://m5sim.org/mailman/listinfo/gem5-dev