Update repositories.txt#5677

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

juanmercadin:patch-1juanmercadin/library-registry:patch-1Copy head branch name to clipboard