⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.

Merge back rc/3.20#20975

Merged

oscarsj merged 10 commits intomainfrom

oscarsj/merge-back-rc-3.20

Dec 5, 2025

Commits on Dec 2, 2025

Release preparation for version 2.23.7
github-actions[bot]
committed
Merge pull request #20955 from github/release-prep/2.23.7
oscarsj
authored
Post-release preparation for codeql-cli-2.23.7
github-actions[bot]
committed

Commits on Dec 5, 2025