Definitely dev. gem5-users is primarily for questions about how to use gem5.
Cheers, Jason On Tue, Apr 10, 2018 at 7:24 AM Ciro Santilli <ciro.santi...@gmail.com> wrote: > Should bugs be reported on gem5-dev or gem5-users? -dev I expect, but > let's confirm. > > On Mon, Apr 9, 2018 at 10:37 PM, Jason Lowe-Power <ja...@lowepower.com> > wrote: > > 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 > _______________________________________________ > 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
