Skip to content

Adapt label-sync workflow to new version of upstream workflow#26672

Merged
Johennes merged 1 commit intodevelopfrom johannes/sync-labelsNov 29, 2023

Commits

Commits on Nov 29, 2023