Closed ddemidov closed 6 years ago
Side-note: I'm planning to carve out some time over the next few days to finish up my open PRs and maybe get Micropython figured out, time permitting.
@ddemidov feel free to merge whenever you are happy with it; I have no reservations.
@WasabiFan, I don't have merge rights here :)
Uhh... That's odd. I don't have admin rights so can't manage permissions, but I had thought this repo had @ev3dev/python on the "write access" list. @dlech?
Right now, write permissions are managed on an individual basis.
Can we at least add @ddemidov?
done
See https://gitter.im/ev3dev/chat?at=5a4aa25d84fb74b940279449