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
