Skip to content

Conversation

per1234
Copy link
Collaborator

@per1234 per1234 commented Nov 9, 2022

The repository name was changed to "lab-micropython-editor", but some code and documentation still referenced the previous repository name.

@per1234 per1234 added the bug Something isn't working label Nov 9, 2022
@per1234 per1234 requested a review from ubidefeo November 9, 2022 01:06
@per1234 per1234 self-assigned this Nov 9, 2022
The repository name was changed to "lab-micropython-editor", but some code and documentation still referenced the
previous repository name.
@per1234 per1234 merged commit 05df9e7 into arduino:main Nov 10, 2022
@per1234 per1234 deleted the update-repo-urls branch November 10, 2022 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants