Update repositories.txt#5690

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

edwiyanto:mainedwiyanto/library-registry:mainCopy head branch name to clipboard