Update repositories.txt#5486

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

ricardoroquepa:mainricardoroquepa/library-registry:mainCopy head branch name to clipboard