Skip to content

Conversation

@SethTisue
Copy link
Contributor

No description provided.

@SethTisue
Copy link
Contributor Author

SethTisue commented Nov 12, 2025

the CI failure is unrelated to the change

@lrytz can I have committer rights in this repo, so I can merge easy PRs?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant