Skip to content

8#9

Open
micnekr wants to merge 13 commits into
mainfrom
8
Open

8#9
micnekr wants to merge 13 commits into
mainfrom
8

Conversation

@micnekr

@micnekr micnekr commented Feb 16, 2025

Copy link
Copy Markdown
Contributor

Addresses #8

@micnekr

micnekr commented Feb 16, 2025

Copy link
Copy Markdown
Contributor Author

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