Update repositories.txt#7026

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

localrice:mainlocalrice/library-registry:mainCopy head branch name to clipboard