So we can fix things like this in one place https://github.com/microbit-foundation/python-editor-v3/pull/1323 And share config for ignores. Worth exploring the value at least.
So we can fix things like this in one place microbit-foundation/python-editor-v3#1323
And share config for ignores.
Worth exploring the value at least.