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
