Update repositories.txt#5703

7Semi wants to merge 16 commits intoarduino:mainarduino/library-registry:mainfrom

7Semi:patch-17Semi/library-registry:patch-1Copy head branch name to clipboard