Mention @somebody. They're notified.
github.com
github.com
I prefer the pronounceability of @ over ~
The proper pronunciation is the one that matches the use you're using it in. So reading off an invoice from "Back in the day", you might say "at the rate of". Saying it in a user name or email address the proper way to read it is "At", as that's what people will understand.
A trailing colon would be the obvious choice when addressing a statement to someone, but that doesn't work as well for the Twitteresque usage of flagging a username embedded in the middle of a string in a machine-readable fashion.
(That's legacy from the earliest days of github and I can't promise it'll be around forever, but it still makes me smile being able to do it)
I liked Audrey Tang's habit of referring to people as "person++". It's positive and looks nice in conversation: "This release is thanks to foobar++'s excellent patches."
And who enjoys people "talking at" them?
In non-threaded discussion boards, and I believe some older message boards @username was used to direct a particular portion of your message at a specific recipient while still keeping the message public.
I keep seeing lots of hate for the proliferation of "twitter's" @mention syntax, but its use predates twitter by a loooooong way.
EDIT: s/seizes/ceases/
(Not sure if it was a typo/brainfart/not-english-speaker but figured you might like to know)
That being said, I'm all in favor of putting a user id or group id in a TODO(username) in comments so that whattodo(name)* can give me a list of things in the source base that could use my, or someone on my team's attention.
[1] implementing the whattodo command is left as an exercise for the reader.
Ignore the payment part and just click the "sign in with twitter" at the top - it's free right now because payment doesn't work yet ;)