Skip to content
This repository was archived by the owner on Jun 30, 2022. It is now read-only.

Adding sync-labels workflow. #6

Merged
merged 1 commit into from
Dec 14, 2021
Merged

Adding sync-labels workflow. #6

merged 1 commit into from
Dec 14, 2021

Conversation

aentinger
Copy link
Contributor

This fixes #5.

@aentinger aentinger added the type: enhancement Proposed improvement label Dec 14, 2021
@aentinger aentinger self-assigned this Dec 14, 2021
@aentinger aentinger merged commit 1698d7b into main Dec 14, 2021
@aentinger aentinger deleted the fix-5 branch December 14, 2021 10:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add GitHub Actions workflow to synchronise with shared repository labels
1 participant