You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: