Skip to content
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

Allow overriding server.properties (re. # 327) #353

Merged

Conversation

vorburger
Copy link
Member

@vorburger vorburger commented Apr 13, 2022

@edewit This OK for you - merge? I think this is one of the steps for #327 before we can merge your #348.

PS: Next I'll see how hard it would be to do #276 to introduce LuckPerms to see if that could help sort out this other point:

The Player that mineflayer uses doesn't have rights to execute /make

@edewit edewit merged commit 3c65975 into OASIS-learn-study:develop Apr 13, 2022
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.

2 participants