Updated repositories.txt#5094

0verflux wants to merge 2 commits intoarduino:mainarduino/library-registry:mainfrom

0verflux:main0verflux/library-registry:mainCopy head branch name to clipboard