Skip to content

Conversation

@paulf81
Copy link
Collaborator

@paulf81 paulf81 commented Jul 3, 2023

Not ready to be merged

Feature or improvement description
Starting the port to polars pull request (#81) over again from the latest develop branch and moving some code to new files where it's not clear whether we do or don't want to port. Will also open a discussion on this topic. Basically for code that is not slow, or not run repeatedly, perhaps it's not worth the port?

@paulf81 paulf81 added the enhancement An improvement of an existing feature label Jul 3, 2023
@paulf81 paulf81 self-assigned this Jul 3, 2023
@paulf81 paulf81 mentioned this pull request Jul 3, 2023
@paulf81 paulf81 mentioned this pull request Jul 12, 2023
@paulf81
Copy link
Collaborator Author

paulf81 commented Jul 12, 2023

Closing this pull request in favor of #102

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement An improvement of an existing feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant