Skip to content

Conversation

@zimmski
Copy link
Member

@zimmski zimmski commented May 18, 2024

No description provided.

@zimmski zimmski added the enhancement New feature or request label May 18, 2024
@zimmski zimmski added this to the v0.5.0 milestone May 18, 2024
@zimmski zimmski requested a review from bauersimon May 18, 2024 11:54
@zimmski zimmski self-assigned this May 18, 2024
@zimmski
Copy link
Member Author

zimmski commented May 18, 2024

@bauersimon this is basically an FYI that i early merge this. Will add even more cases, but using these cases now to change your #129 PR to not require changing repositories.

@zimmski zimmski merged commit 8434368 into main May 18, 2024
@zimmski zimmski deleted the more-cases branch May 18, 2024 12:08
@bauersimon bauersimon mentioned this pull request Jun 3, 2024
45 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants