Update repositories.txt#5481

RobTillaart wants to merge 2 commits intoarduino:mainarduino/library-registry:mainfrom

RobTillaart:mainRobTillaart/library-registry:mainCopy head branch name to clipboard