When I get an email notification from GitHub when the PR bot merges a PR or closes an issue, the sender is shown as “beep boop”:
This is because GitHub uses the real name instead of @username when sending email notifications.
The first time I got this I thought it was spam, until I looked at it in more detail.
Can we maybe change the bots’ name to
beep boop (the .NET Core Bot) to make this a little less confusing?