Update repositories.txt#5271

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

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