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