Update references to previous repository name#14

per1234 merged 1 commit intoarduino:mainarduino/lab-micropython-editor:mainfrom

per1234:update-repo-urlsCopy head branch name to clipboard