Skip to content

pr labels separate by comma#101

Merged
LukasJenicek merged 1 commit intomasterfrom
update_label_api
Oct 17, 2024
Merged

pr labels separate by comma#101
LukasJenicek merged 1 commit intomasterfrom
update_label_api

Conversation

@LukasJenicek
Copy link
Contributor

No description provided.

@LukasJenicek LukasJenicek force-pushed the update_label_api branch 2 times, most recently from 4e0407e to 38d9242 Compare October 17, 2024 15:09
@LukasJenicek LukasJenicek merged commit 5d390bc into master Oct 17, 2024
@LukasJenicek LukasJenicek deleted the update_label_api branch October 17, 2024 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant