Skip to content

Conversation

@mars
Copy link
Member

@mars mars commented Jul 18, 2025

Making a new version to release from the recently merge PR.

Also, document how we make releases… is this right? I couldn't find any automations for this repo, so this manual approach seems correct for now..

mars added 2 commits July 18, 2025 10:20
@mars mars requested review from dzuelke and edmorley July 18, 2025 21:49
@mars mars marked this pull request as ready for review July 18, 2025 21:49
Copy link
Member

@edmorley edmorley left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

mars and others added 2 commits July 21, 2025 08:55
Co-authored-by: Ed Morley <[email protected]>
Signed-off-by: Mars Hall <[email protected]>
@mars mars merged commit 2d5160e into main Jul 21, 2025
1 check passed
@mars mars deleted the prepare-release-1.15 branch July 21, 2025 15:56
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