Update repositories.txt#5252

guerratron wants to merge 1 commit intoarduino:mainarduino/library-registry:mainfrom

guerratron:mainguerratron/library-registry:mainCopy head branch name to clipboard