New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

So we want to open source this. #1

Merged

WenqingZong merged 1 commit into main from pre-release-small-tidy

Aug 16, 2024

Member

xd009642 commented Aug 16, 2024

So let's at least do a minimal amount of tidying and then just set it public and give it some love.


          So we want to open source this.

So let's at least do a minimal amount of tidying and then just set it
public and give it some love.

xd009642 requested review from blueridanus and WenqingZong

August 16, 2024 10:50

blueridanus approved these changes

View reviewed changes

WenqingZong merged commit 664416e into main

1 check passed

WenqingZong deleted the pre-release-small-tidy branch

August 16, 2024 11:50

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

Labels

None yet