Update repositories.txt#5273

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

chrmlinux:patch-28chrmlinux/library-registry:patch-28Copy head branch name to clipboard