-
Notifications
You must be signed in to change notification settings - Fork 148
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
Error while adding user with -
in the name
#292
Comments
@Wei-1 bot needs So you should use: Use |
I've put up a pull request to add @Wei-1! 🎉 |
@Wei-1 as you can see above ;) Please somebody delete that PR :D BTW: How did you manage to create this issue without genrating new bot PR :) ? |
That's a very good question @marekrozmus I have no idea though.. |
I think there is still an issue with "-" see this: |
I think that's because the issue / PR needs to exist before quoting the bot, see all-contributors/all-contributors#380 (comment) |
Thank you @Wei-1 |
Fixed in #307 |
Does that make my username valuable? :) thanks for fixing @baikho |
Describe the bug
The bot add @wei instead of @Wei-1 while using the command in a PR.
To Reproduce
Steps to reproduce the behavior:
@all-contributors please add Wei-1 for maintenance
Expected behavior
It should add @Wei-1 instead
Screenshots
Curt-Park/rainbow-is-all-you-need#12
Additional context
Probably caused by
-
signThe text was updated successfully, but these errors were encountered: