Skip to content

Import from any GitHub repository#7

Merged
josef-poetzl merged 3 commits intomasterfrom
dev
Jun 23, 2023
Merged

Import from any GitHub repository#7
josef-poetzl merged 3 commits intomasterfrom
dev

Conversation

@josef-poetzl
Copy link
Member

No description provided.

@josef-poetzl josef-poetzl merged commit 284e49c into master Jun 23, 2023
@josef-poetzl josef-poetzl deleted the dev branch June 23, 2023 23:21
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