Skip to content
This repository was archived by the owner on Nov 25, 2025. It is now read-only.

Conversation

@yoshuawuyts
Copy link
Member

Marks the repository as archived. Thanks!

Mark the repository as archived
@yoshuawuyts yoshuawuyts requested a review from ricochet November 25, 2025 20:39
@yoshuawuyts yoshuawuyts added this pull request to the merge queue Nov 25, 2025
Merged via the queue into main with commit 3983fe1 Nov 25, 2025
1 check passed
@yoshuawuyts yoshuawuyts deleted the yoshuawuyts-patch-1 branch November 25, 2025 20:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants