I have a github app which posts comments to PRs in certain situations, where the comments include
@-mentions of certain users and teams. However, the mentions are not being recognized by github: they show up as plain text (not linked) when viewed, and the relevant users/teams are not being notified.
I know the
@-mentions are spelled and formatted correctly because if I (as a human user) go and “edit” one of the bots comments and save it without actually changing the contents at all, then the mention is correctly recognized and linked.
Does my app need certain extra permissions (beyond the ability to post comments) in order to mention? Is there anything else I might be missing?