Allow multiple github user mentions

Yes please.