Skip to content

Conversation

@Jeehut
Copy link
Contributor

@Jeehut Jeehut commented Jul 1, 2024

Copy link
Contributor

@winsmith winsmith left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, so feel free to merge, but I'm afraid I'll have to postpone the other PRs until I have a bit of breathing room

@Jeehut
Copy link
Contributor Author

Jeehut commented Jul 15, 2024

@winsmith I don't feel comfortable merging this without you having had a proper look. I don't feel confident about this PR. I have a feeling there could be a better way to implement this whole thing, so I'll wait with the merge.

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.

3 participants