Skip to content

Remove js_repl feature#19410

Merged
fjord-oai merged 2 commits intomainfrom
fjord/rm_js_repl
Apr 25, 2026
Merged

Remove js_repl feature#19410
fjord-oai merged 2 commits intomainfrom
fjord/rm_js_repl

Conversation

@fjord-oai
Copy link
Copy Markdown
Contributor

No description provided.

@fjord-oai
Copy link
Copy Markdown
Contributor Author

@codex review

@chatgpt-codex-connector
Copy link
Copy Markdown
Contributor

Codex Review: Didn't find any major issues. What shall we delve into next?

ℹ️ 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".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@fjord-oai fjord-oai marked this pull request as ready for review April 24, 2026 22:53
@fjord-oai fjord-oai requested a review from a team as a code owner April 24, 2026 22:53
@fjord-oai fjord-oai merged commit 8a559e7 into main Apr 25, 2026
25 checks passed
@fjord-oai fjord-oai deleted the fjord/rm_js_repl branch April 25, 2026 00:49
@github-actions github-actions Bot locked and limited conversation to collaborators Apr 25, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants