Merge remote-tracking branch 'origin/releases/v3' into backport-v2.26.12-c36620d31

This commit is contained in:
github-actions[bot]
2024-10-07 17:01:26 +00:00
192 changed files with 1207 additions and 3455 deletions

View File

@@ -54,7 +54,8 @@ jobs:
git push origin update-supported-enterprise-server-versions
body="This PR updates the list of supported GitHub Enterprise Server versions, either because a new "
body+="version is about to be feature frozen, or because an old release has been deprecated.\n\n"
body+="version is about to be feature frozen, or because an old release has been deprecated."
body+=$'\n\n'
body+="If an old release has been deprecated, please follow the instructions in CONTRIBUTING.md to "
body+="deprecate the corresponding version of CodeQL."