Skip to content

Delete everything that is not strictly necessary for core#968

Draft
b-studios wants to merge 2 commits intomainfrom
only-core
Draft

Delete everything that is not strictly necessary for core#968
b-studios wants to merge 2 commits intomainfrom
only-core

Conversation

@b-studios
Copy link
Copy Markdown
Collaborator

We often supervise theses that only work on core and nothing else. It is easier to start on a smaller, restricted, subset of the implementation.

Here I delete everything that is not related to core directly.

⚠️ NEVER MERGE THIS

@jiribenes jiribenes added draft Draft PR, do not merge! experiment Experimental branch, do not merge! labels Apr 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

draft Draft PR, do not merge! experiment Experimental branch, do not merge!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants