Open
Description
Currently, there are sometimes cases where certain users, despite setting their GitHub username for the bot, are still not tagged when a deploy fails that contains one of their changes. I have seen only a handful of such cases, but it is still something we should look into. One idea is that it could be issues with parsing certain characters in certain people's names, or simply a corrupt state for certain users.