[WRONG BRANCH] Promote dev to main: CodeQL #87 ReDoS fix + closeout correction - #1968

Merged

lidge-jun merged 7 commits into

mainfrom

codex/promote-main-w5b

Aug 18, 2026

Commits on Aug 18, 2026

docs(devlog): #1891 merged, and this record said it had not
lidge-jun
committed
38719e9
docs(devlog): the ide_version fix was #1955, not #1957
lidge-jun
committed
9ba0bbb
docs(devlog): actually drop the PR count this time
lidge-jun
committed
12949d9
docs(devlog): record the Wave 6 gate and promotion
lidge-jun
committed
6830b01
docs(devlog): the campaign introduced a CodeQL alert and I said it had not
lidge-jun
committed
300b691
fix(antigravity): drop the backtracking trailing-slash regex
lidge-jun
committed
59d57a9
Merge pull request #1966 from lidge-jun/codex/wave5-redos-and-closeout
lidge-jun
authored
d23b7e8