Skip to content
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.

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

chore: merge dev to main #1239

Merged
merged 14 commits into from
Sep 21, 2023
Merged

chore: merge dev to main #1239

merged 14 commits into from
Sep 21, 2023

Conversation

validcube
Copy link
Member

@validcube validcube commented Sep 4, 2023

@validcube validcube changed the title gonna go merge! chore: merge dev to main Sep 4, 2023
@validcube validcube marked this pull request as draft September 4, 2023 05:25
@validcube
Copy link
Member Author

Note-to-self: don't repeat the #1238 incident :trollface:

  • Get approve!
  • Pushie (not squashie)!

@Ushie Ushie linked an issue Sep 8, 2023 that may be closed by this pull request
4 tasks
@validcube validcube linked an issue Sep 10, 2023 that may be closed by this pull request
4 tasks
@Ushie Ushie marked this pull request as ready for review September 21, 2023 00:31
@BenjaminHalko BenjaminHalko merged commit c59d4ae into main Sep 21, 2023
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
7 participants