Allow multiple github user mentions

Yeah that works (tested it to make sure). Do we need to keep the lone @ in case there isn't a user as well?