Skip to content

Add GitHub Actions workflow to synchronize with shared repository labels.#62

Merged
aentinger merged 1 commit intomainfrom
sync-labels
Mar 28, 2022
Merged

Add GitHub Actions workflow to synchronize with shared repository labels.#62
aentinger merged 1 commit intomainfrom
sync-labels

Commits