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 saying that "the
official issue tracker is the mailing list".
gem5-dev mailing list

Reply via email to