Skip to content

Rename python-editor-next to python-editor-v3 #967

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Sep 16, 2022

Conversation

microbit-robert
Copy link
Collaborator

  • Also removes unused devcontainer and updates readme.

@github-actions
Copy link

Preview build will be at
https://review-python-editor-next.microbit.org/rename-repo/

@microbit-robert microbit-robert marked this pull request as ready for review September 16, 2022 09:05
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

@@ -27,11 +27,9 @@ CodeMirror 6 has [great documentation](https://codemirror.net/6/docs/). The [sys

The project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app). You can learn more in the [Create React App documentation](https://facebook.github.io/create-react-app/docs/getting-started).

If you use Visual Studio Code you might find the devcontainer included in this repository a useful option to get an automatically configured development environment. [Find out more about containers and Visual Studio Code](https://code.visualstudio.com/docs/remote/containers).
Copy link
Collaborator

Choose a reason for hiding this comment

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

I'll happily reinstate and update this dev container if anyone gets in touch to say they use it. Removing it for now as, so far as we know, it's unused by folks working on this project and therefore untested/unmaintained.

@microbit-matt-hillsdon microbit-matt-hillsdon merged commit 6d98962 into main Sep 16, 2022
@microbit-matt-hillsdon microbit-matt-hillsdon deleted the rename-repo branch September 16, 2022 09:21
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.

2 participants