Skip to content

Implement /helpop command #509

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

Open
wants to merge 36 commits into
base: main
Choose a base branch
from
Open

Implement /helpop command #509

wants to merge 36 commits into from

Conversation

MattyTheHacker
Copy link
Member

No description provided.

@MattyTheHacker MattyTheHacker self-assigned this May 25, 2025
@MattyTheHacker MattyTheHacker added the enhancement New feature or request label May 25, 2025
@MattyTheHacker MattyTheHacker enabled auto-merge (squash) May 25, 2025 16:25
@CarrotManMatt
Copy link
Member

What does the term "helpop" here mean?

@MattyTheHacker
Copy link
Member Author

What does the term "helpop" here mean?

it's an old minecraft phrase, help-op, i.e. "help, op", op usually referring to a moderator or administrator on the server.

I just thought it was a funny phrase to use lmao, happy to change it if you think there's something more suitable.

@LMBishop
Copy link
Contributor

it's an old minecraft phrase, help-op, i.e. "help, op"

It's actually from IRC (most Minecraft chat commands like /w or /me were derived from IRC, and I suspect the leading slash to indicate a system command was too) and it was used to query a help database or reach a "help operator" (helpop) if it could not be answered from that database. But the name itself is very archaic and I don't recommend its use here.

I also don't really see the point of this system? "Opening tickets" with committee feels a bit too... formal and impersonal. I'd much rather people just come chat to us normally either in-person or via DM if they have a private problem. We're not that scary (I hope).

@MattyTheHacker
Copy link
Member Author

I also don't really see the point of this system? "Opening tickets" with committee feels a bit too... formal and impersonal. I'd much rather people just come chat to us normally either in-person or via DM if they have a private problem. We're not that scary (I hope).

Take a look at the original issue for the origins of it, but generally I think it's useful because in-person doesn't work consistently for most things, so discord is easier. DM wise sure isn't awful but means that that one person is then responsible for sole communication between that person and the rest of committee and leads to a lot of back and forth of "what did they say" etc...

This, on the other hand, means that all of committee can see and can help if needed.

We're not that scary (I hope).

This especially though is I think a really difficult one to capture, cos although there's a decent base of reasonably active people in the community, quite a lot (i'd almost wager a vast majority) don't interact generally in channels and can find it quite difficult esp for those with social anxiety and the like. Having this as an option just removes that barrier for those people and I think it's fair to say we want as minimal barrier to entry as possible if people need to speak to us

@MattyTheHacker MattyTheHacker added suspended Delayed until a later date sync Keep this PR up to date with it's base branch labels May 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conflict enhancement New feature or request suspended Delayed until a later date sync Keep this PR up to date with it's base branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add a command to allow users to send a message to committee members
5 participants