Update repositories.txt#7241

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

jaderobotics-AN:mainjaderobotics-AN/Jade_Spiderbot:mainCopy head branch name to clipboard