Skip to content

Conversation

@pr-automation-bot-public
Copy link
Contributor

After merging this PR, tag the merge commit with:

git tag 0.2.2
git push origin 0.2.2

@pr-automation-bot-public pr-automation-bot-public bot requested a review from a team as a code owner June 17, 2025 15:04
@nathanosdev nathanosdev enabled auto-merge June 17, 2025 15:04
@nathanosdev nathanosdev added this pull request to the merge queue Jun 17, 2025
Merged via the queue into main with commit b1ccc43 Jun 17, 2025
10 checks passed
@nathanosdev nathanosdev deleted the release/0.2.2-svaul0 branch June 17, 2025 15:05
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.

1 participant