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

806 B

Raw Permalink Blame History

View Raw