Add GitHub Actions workflow to synchronize with shared repository labels#1
Merged
per1234 merged 1 commit intoarduino:mainfrom Oct 12, 2021
per1234:sync-labels
Merged
Add GitHub Actions workflow to synchronize with shared repository labels#1per1234 merged 1 commit intoarduino:mainfrom per1234:sync-labels
per1234 merged 1 commit intoarduino:mainfrom
per1234:sync-labels