Skip to content

Conversation

mattip
Copy link

@mattip mattip commented May 6, 2025

Redo #17 which was deleted by mistake

Copy link

@hodgestar hodgestar left a comment

Choose a reason for hiding this comment

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

I approved #17, I think, so approving the new version too. :)

@mattip
Copy link
Author

mattip commented May 6, 2025

Some one else needs to merge it. I don't see any CI tests here, so that would mean running it locally.

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.

2 participants