Skip to content

Conversation

@microbit-grace
Copy link
Contributor

@microbit-grace microbit-grace commented Apr 15, 2024

We originally forked it for a Korean PR which has long been merged.

@github-actions
Copy link

Preview build will be at
https://review-python-editor-v3.microbit.org/lunr-lang/

@microbit-matt-hillsdon microbit-matt-hillsdon changed the title Replace to use lunr-languages Replace fork of lunr-languages with upstream package Apr 15, 2024
Copy link
Collaborator

@microbit-matt-hillsdon microbit-matt-hillsdon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@microbit-matt-hillsdon microbit-matt-hillsdon merged commit 22f4df9 into main Apr 15, 2024
@microbit-matt-hillsdon microbit-matt-hillsdon deleted the lunr-lang branch April 15, 2024 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants