Update repositories.txt#7188

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

rochat2:mainrochat2/library-registry:mainCopy head branch name to clipboard