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

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

2024-03-04 21:52:09 -08: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-03-04 21:52:09 -08:00

CODEOWNERS

CODEOWNERS: Add Stephane Rochoy

2024-03-01 09:18:08 -07:00