Skip to content

8#9

Open
micnekr wants to merge 13 commits intomainfrom
8
Open

8#9
micnekr wants to merge 13 commits intomainfrom
8

Conversation

@micnekr
Copy link
Contributor

@micnekr micnekr commented Feb 16, 2025

Addresses #8

@micnekr
Copy link
Contributor Author

micnekr commented Feb 16, 2025

Let's wait until #7 gets merged so that we can have a clean history. Because we depend on it being the "initial state" of the repository, all other pull requests should really be merged after it

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