Skip to content

Conversation

@nephros
Copy link
Contributor

@nephros nephros commented May 24, 2022

Currently very much in WIP state, this PR is opened so people can discuss and contribute.

@rainemak
Copy link
Member

Very nice start @nephros already 👍 ! To make it simpler to land changes, you could leave some ideas / to be defined topics in comments to the docs so that it's easier for people to continue on top of these changes. Personally I don't think this is far from being mergeable shape.

@nephros
Copy link
Contributor Author

nephros commented Nov 3, 2025

As activities of the team have faded away, I'm closing this for now.

@nephros nephros closed this Nov 3, 2025
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