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