Skip to content

Drop the pre-1.0 wgSmjUseCdn fallback - #83

Merged
jmnote merged 1 commit into
mainfrom
drop-legacy-names
Oct 8, 2026
Merged

jmnote merged 1 commit into
mainfrom
drop-legacy-names

Conversation

@jmnote

@jmnote jmnote commented Oct 8, 2026

Copy link
Copy Markdown
Owner

Reverts the legacyNames part of #81. 1.0 intentionally stopped reading pre-1.0 setting names (docs/mig-1.0.md: anything left unchanged is silently ignored), and the client should follow the same rule. The fallback to extension.json defaults when page config is missing stays. make checks passes. Should be merged before #82 (Release 1.1.1).

1.0 intentionally does not read pre-1.0 setting names (docs/mig-1.0.md).
Falling back to defaults when page config is missing is enough.
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 8, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-08T15:06:27.775241Z 2a03534 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@jmnote
jmnote merged commit cbc0502 into main Oct 8, 2026
2 checks passed
@jmnote
jmnote deleted the drop-legacy-names branch October 8, 2026 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant