This updates the change-id code to refer to commit messages in pull requests instead of on pushes. Change-Id: I308f02b4616804b386140d5875a79878eccd721e
This copies our .github folder from stable into the develop branch, which allows the GitHub Actions workflows to run on both branches Change-Id: I864939f86f0fbd6d73676f137df2670d3eac1d1a Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/71860 Reviewed-by: Bobby Bruce <bbruce@ucdavis.edu> Tested-by: kokoro <noreply+kokoro@google.com> Maintainer: Bobby Bruce <bbruce@ucdavis.edu>