Update repositories.txt#6633

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

boby15000:mainboby15000/library-registry:mainCopy head branch name to clipboard