change repo urls of some of our existing libraries#4512

einspunktnull wants to merge 4 commits intoarduino:mainarduino/library-registry:mainfrom

einspunktnull:maineinspunktnull/library-registry:mainCopy head branch name to clipboard