Skip to content

Conversation

@pbrisbin
Copy link
Member

I merged that branch once we had it all working, which deleted it, but
forgot to update this. Womp.

I merged that branch once we had it all working, which deleted it, but
forgot to update this. Womp.
@pbrisbin pbrisbin marked this pull request as ready for review February 12, 2025 17:28
@pbrisbin pbrisbin requested a review from a team February 12, 2025 17:28
@pbrisbin pbrisbin enabled auto-merge (rebase) February 12, 2025 18:33
@joris974 joris974 removed the request for review from a team February 12, 2025 22:02
@pbrisbin pbrisbin merged commit 654aa65 into main Feb 13, 2025
9 checks passed
@pbrisbin pbrisbin deleted the rc/fix-release branch February 13, 2025 18:59
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.

3 participants