Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Python Tools: Add micro:bit MicroPython stub. #592

Merged
merged 1 commit into from
Sep 13, 2023
Merged

Python Tools: Add micro:bit MicroPython stub. #592

merged 1 commit into from
Sep 13, 2023

Conversation

carlosperate
Copy link
Owner

@carlosperate carlosperate commented Sep 12, 2023 •
edited
Loading

Resource description

micro:bit MicroPython stubs - Type stubs for MicroPython for micro:bit to support the editor autocompletion.

By submitting this pull request I confirm I've read and complied with the below requirements 🖖

  • I have read and understood the Contribution Guidelines
  • I am making an individual pull request for each suggestion
  • I have used the correct spelling and capitalisation for BBC micro:bit, micro:bit, and Micro:bit Educational Foundation (resource title could be excluded if there is a good reason)
  • The content linked is in English, or it contains an English translation
  • I have added the new entry to the bottom of its the category
  • I have used the following format:
- [Resource Title](link) - Resource short Description (2 lines or less in total)

@carlosperate carlosperate merged commit 90725d1 into master Sep 13, 2023
2 checks passed
@carlosperate carlosperate deleted the python-stubs branch September 13, 2023 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@carlosperate