Describe the bug
If a comment is added to a PR by the bot. The Wrong name is used, if the name differs from the @name on github,
To Reproduce
Have the bot running on a PR on github. If you've got a user with name "User Xy" and a @abcde the comment shows: @user Xy and not the expected @abcde
Expected behavior
Descirbed above.
Additional context
It's happening on github with the bot integration.
Describe the bug
If a comment is added to a PR by the bot. The Wrong name is used, if the name differs from the @name on github,
To Reproduce
Have the bot running on a PR on github. If you've got a user with name "User Xy" and a @abcde the comment shows: @user Xy and not the expected @abcde
Expected behavior
Descirbed above.
Additional context
It's happening on github with the bot integration.