Update repositories.txt#6487

github-actions[bot] merged 1 commit intoarduino:mainarduino/library-registry:mainfrom

matteo-colombo-kernel:mainmatteo-colombo-kernel/library-registry:mainCopy head branch name to clipboard