github/hubot-scripts — pull request #994 by spajus (2013-06-19 14:21:42+00:00)
Title: Github pull request notifier: say who was mentioned

If pull request body contains "@nick1 @nick2", hubot adds "Mentioned: @nick1, @nick2" to the announcement.