Update repositories.txt#7245

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

jaderobotics-AN:patch-1jaderobotics-AN/Jade_Spiderbot:patch-1Copy head branch name to clipboard