Skip to content

Conversation

@kvark
Copy link
Owner

@kvark kvark commented Sep 19, 2024

Taking a step back from #161 and trying to upstream all of the successful bits:

Actually includes more good stuff now

@kvark kvark enabled auto-merge (rebase) September 20, 2024 07:19
@kvark kvark merged commit 4121ba0 into main Sep 20, 2024
@kvark kvark deleted the various branch September 20, 2024 07:21
@kvark kvark mentioned this pull request Sep 21, 2024
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