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

chore: tidy up naming #38

Open

bengerman13 wants to merge 1 commit into mattsb42-meta:dev from bengerman13:bb/naming-consistency

bengerman13 commented Sep 2, 2024

Fix some leakage of the old confusing name


          chore: tidy up naming

35e43b7

mattsb42 approved these changes

View reviewed changes

Member

mattsb42 commented Sep 4, 2024

oof; I really have neglected this CI for a while...I might need to turn that off until I fix it x_x

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

Labels

None yet