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
..
ISSUE_TEMPLATE	Cleanup various repository documentation files	2023-10-10 13:58:13 +02:00
actions	CI: Update actions to latest versions	2024-03-11 15:00:41 +01: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