A Thousand Ships 498edf3dd8 [CI] Improve fetching of changed files ...

PRs always use a merge into the repo on checkout, so checking for
`HEAD^1` will show all the changes regardless of the number of commits
in a PR

(cherry picked from commit 950743c3d8)

2024-04-08 15:48:29 +02:00

..

actions

CI: Update actions to latest versions

2024-03-11 15:00:41 +01:00

ISSUE_TEMPLATE

Cleanup various repository documentation files

2023-10-10 13:58:13 +02:00

workflows

[CI] Improve fetching of changed files

2024-04-08 15:48:29 +02:00

CODEOWNERS

Fix the Web platform team's codeowners link

2023-12-07 10:27:06 +01:00

PULL_REQUEST_TEMPLATE.md

Link to Code style guidelines in the pull request template

2023-06-15 07:22:20 +02:00