2 Commits

Author SHA1 Message Date
Bobby R. Bruce
3157cde324 misc: Copy .github directory from develop to stable (#458)
This is done periodically as the Github Action's infrastructure reads
files from the repos main branch (`stable`) where as changes are made to
`develop`'s ".github" which should be made live ASAP.

This does not affect the gem5 build or any configuration scripts, only
how testing is performed via GitHub and other info used by Github (e.g.,
".github/ISSUE_TEMPLATE" which outlines the templates for creating
issues via our GitHub issues page.
2023-10-14 17:16:09 -07:00
Bobby R. Bruce
0f358732cb misc: Add ".github" changes to minor release
This is a simple copy of the current state of the .github on the develop
branch, as of 2023-07-27. The stable branch .github dir should never be
ahead of that on develop. Therefore this should be safe to do.

Change-Id: I1e39de2d1f923d1834d0a77f79a1ff3220964bba
2023-07-27 09:46:28 -07:00