Allow multiple github user mentions

This introduces a mismatch with the parsing of build plans. Instead of `githubMentions` being space-separated here, how about making it comma-separated to not mess up the file format?