message no. 86682
Posted by int-e in #github at 2015-03-28T21:44:01Z
In github markup (say, in an issue), is it possible to write @foo without it being treated as mentioning the "foo" user? I can use `@foo`, but that adds extra markup that I don't really want.