Jos Verlinde

@alj032 **AC to Connector:** you need to specify the card as an attachment to the message ( as this is the way Teams does it internally) ``` json { "type":"message",...

@stinos , thanks for pointing [that](https://github.com/micropython/micropython/commit/9a1b7d8448346b353e3aa7ae11ff2b441b6d5313) out. at least that should mean that my list should not need to grow longer 🤞 ( and I need to validate my build...

also see bug report on MSB in https://github.com/Josverl/micropython-stubs/issues/680

I maintain similar stubs for MicroPython. Most of them are generated automatically from the repo, and try to consider variations across, ports and boards. Pyright has been adopted to be...

for recent stubs : https://github.com/Josverl/micropython-stubs or [Micropython stub packages on PyPI](https://pypi.org/search/?q=-stubs&o=&c=Programming+Language+%3A%3A+Python+%3A%3A+Implementation+%3A%3A+MicroPython)

[Micropython stub packages on PyPI](https://pypi.org/search/?q=-stubs&o=&c=Programming+Language+%3A%3A+Python+%3A%3A+Implementation+%3A%3A+MicroPython)

Thanks, has been a long wait, but thanks for following through.

VSCode has profiles that enables the use of different sets of extensions and settings across workspaces and projects https://code.visualstudio.com/docs/editor/profiles

Sam, thanks for your perseverance This project started very small years ago - and has grown over time. documentation that I once wrote - has been surpassed by the reality...

I never considered a specific COMMIT, only versions to be honest. You could add a local tag based on semver. I think something like v1.20.x could work. Also if you...