Merge branch 'main' into mbg/ts/remaining-scripts

This commit is contained in:
Michael B. Gale
2026-10-14 10:37:14 +01:00
159 changed files with 47501 additions and 15569 deletions

View File

@@ -92,8 +92,7 @@ runs:
Please do the following:
- [ ] Approve running the full set of PR checks.
- [ ] Approve and merge the PR. When merging the PR, make sure "Create a merge commit" is
selected rather than "Squash and merge" or "Rebase and merge".
- [ ] Approve and merge the PR. When merging the PR, make sure "Create a merge commit" is selected rather than "Squash and merge" or "Rebase and merge".
EOF
)