I've started a discussion on GitHub Discussions regarding the gem5 PR Merge Policy and possible improvements: https://github.com/orgs/gem5/discussions/261
Please feel free to join and give input or feedback. -- Dr. Bobby R. Bruce Room 3050, Kemper Hall, UC Davis Davis, CA, 95616 web: https://www.bobbybruce.net _______________________________________________ gem5-dev mailing list -- gem5-dev@gem5.org To unsubscribe send an email to gem5-dev-le...@gem5.org
