Update repositories.txt, add HCSR04_attachInterrupt#6501

github-actions[bot] merged 1 commit intoarduino:mainarduino/library-registry:mainfrom

joshua-8:mainjoshua-8/library-registry:mainCopy head branch name to clipboard