Mention @somebody. They're notified.

Ever wish you could summon a particular someone to take a look at an issue or pull request? Now you can: When you @mention a GitHub username anywhere in the…