John Baldwin 85cdbae749 .github: Switch to v4 of actions/checkout ...

GitHub is emitting a warning that v3 is deprecated due to using
Node.js 16.

(cherry picked from commit e6dccf0050)

2024-04-08 11:03:05 -07:00

..

PULL_REQUEST_TEMPLATE

Fix typo: messages missing an 'a'.

2023-03-01 16:34:43 -07:00

workflows

.github: Switch to v4 of actions/checkout

2024-04-08 11:03:05 -07:00

CODEOWNERS

MAINTAINERS: Add myself to stand

2023-05-07 22:30:10 -06:00