Update repositories.txt#5922

MatteoPologruto merged 3 commits intoarduino:mainarduino/library-registry:mainfrom

rui-huang-opt:mainrui-huang-opt/library-registry:mainCopy head branch name to clipboard