Skip to content

filter out NES contribution#240701

Merged
amunger merged 3 commits intomainfrom
aamunger/replNes
Feb 13, 2025
Merged

filter out NES contribution#240701
amunger merged 3 commits intomainfrom
aamunger/replNes

Conversation

@amunger
Copy link
Copy Markdown
Collaborator

@amunger amunger commented Feb 13, 2025

fix #239526

rzhao271
rzhao271 previously approved these changes Feb 13, 2025
lszomoru
lszomoru previously approved these changes Feb 13, 2025
@amunger amunger dismissed stale reviews from lszomoru and rzhao271 via 5291eb1 February 13, 2025 19:17
@amunger amunger enabled auto-merge (squash) February 13, 2025 20:26
@amunger amunger merged commit 91e1a12 into main Feb 13, 2025
@amunger amunger deleted the aamunger/replNes branch February 13, 2025 20:31
erha19 added a commit to opensumi/monaco-editor-core that referenced this pull request Feb 20, 2025
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Mar 30, 2025
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.

Turn off NES in REPL/IW

3 participants