Update repositories.txt#5122
Merged
github-actions[bot] merged 1 commit intoarduino:mainfrom Sep 20, 2024 
guerratron:main
Merged
Update repositories.txt#5122github-actions[bot] merged 1 commit intoarduino:mainfrom guerratron:main
github-actions[bot] merged 1 commit intoarduino:mainfrom 
guerratron:main