Update repositories.txt#5676

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

juanmercadin:mainjuanmercadin/library-registry:mainCopy head branch name to clipboard