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

Update Oracle with Server Roles #14

Merged
merged 10 commits into from
Aug 19, 2024

Conversation

ZuliusRoolf
Copy link
Collaborator

This pull request includes several updates to the ORACLE.md file, which documents the Discord server structure and roles. The changes include adding the roles, defining their display settings, adding role permissions, and fixing formatting.

@ZuliusRoolf ZuliusRoolf linked an issue Aug 17, 2024 that may be closed by this pull request
@ZuliusRoolf ZuliusRoolf self-assigned this Aug 17, 2024
@ZuliusRoolf ZuliusRoolf added the documentation Improvements or additions to documentation label Aug 17, 2024
Copy link
Member

@andreas-bauer andreas-bauer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What problem does this level of detail (complexity) try to solve?
E.g., roles per study year or miscellaneous roles.

You can do it this way if you think people will follow the detailed roles.

@ZuliusRoolf
Copy link
Collaborator Author

What problem does this level of detail (complexity) try to solve? E.g., roles per study year or miscellaneous roles.

You can do it this way if you think people will follow the detailed roles.

You are right, I had a vision that maybe old members (students who is inactive and doesn't even live in Karlskrona anymore) could be filtered out this way. But in the grand scheme of things the discord is about the lab and not the studies. I created issue #15 that could replace the "miscellaneous" category with "groups" or "hobbies". I'll update the pull-request so that it reflects the roles, then we need to decide on how these hobby groups should be accessed in issue #15.

@ZuliusRoolf ZuliusRoolf merged commit 406b305 into main Aug 19, 2024
@ZuliusRoolf ZuliusRoolf deleted the 4-create-an-oracle-for-server-roles branch August 19, 2024 12:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Create an oracle for server roles
2 participants