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

Conversation

@vorburger
Copy link

@vorburger vorburger commented Oct 28, 2023

This would let you see if e.g. #863 actually works, or if e.g. #858 passes tests.

It looks like the default branch used to be called master and got renamed to main but this forgotten to be updated.

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.

1 participant