Skip to content

Improve lobbies with several bugfixes and new features #129

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 90 commits into
base: main
Choose a base branch
from

Conversation

p2r3
Copy link
Owner

@p2r3 p2r3 commented Apr 7, 2025

This pull request is a work in progress, and will likely remain so while the day of the showmatch approaches. Everything here has been tested in production with real players (shocker, I know), so it's incredibly likely to already be stable.

p2r3 added 30 commits April 7, 2025 13:59
p2r3 added 30 commits April 10, 2025 22:43
i forgot that we're not using ppmod...
i might've forgotten to commit this before the last workshopper commit so just pretend this is time travel
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