Update repositories.txt#7212

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

aangeeelooo:mainaangeeelooo/library-registry:mainCopy head branch name to clipboard