Allow multiple github user mentions

For proper round-tripping, we need to split on commas and check for the special `@` string, but round-tripping like that isn't vital.