Repository navigation

Mergeback rc/3.20 into main - #21025

Merged

oscarsj merged 8 commits into

mainfrom

oscarsj/mergeback-rc-3-20-into-main

Dec 15, 2025

Merged

Mergeback rc/3.20 into main#21025
oscarsj merged 8 commits into
mainfrom
oscarsj/mergeback-rc-3-20-into-main

Commits on Dec 8, 2025
- JS: Use question-mark variant in all overlay annotations
  asgerf
  committed
  294089f
- Revert changes in synced files
  asgerf
  committed
  4d1200f
- Merge pull request #20985 from asgerf/js/overlay-local-optional
  redsun82
  authored
  b5f705a
- Release preparation for version 2.23.8
  github-actions[bot]
  committed
  66c51e9
- Merge pull request #20988 from github/release-prep/2.23.8
  redsun82
  authored
  28b6aa8
- Post-release preparation for codeql-cli-2.23.8
  github-actions[bot]
  committed
  2854330
Commits on Dec 12, 2025
- Merge pull request #20989 from github/post-release-prep/codeql-cli-2.23.8
  oscarsj
  authored
  72b63bb
- Merge branch 'main' of https://github.com/github/codeql into oscarsj/mergeback-rc-3-20-into-main
  oscarsj
  committed
  d972af9