Update repositories.txt#7357

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

askinkeles:mainaskinkeles/library-registry:mainCopy head branch name to clipboard