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.

Sign up for GitHub

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

Jump to bottom

Say playerId instead of the name for more precise identification #4

Open

bernardyip opened this issue Sep 11, 2016 · 1 comment

Labels

Collaborator

bernardyip commented Sep 11, 2016

Saying id of player gives more accurate representation

Bot can also give the list of users so that they can click on it

bernardyip added the enhancement label

Collaborator Author

bernardyip commented Sep 12, 2016

Quick Fix can be to equalsignorecase for now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment