For this, would you pass in the github handle to the bot or the discord handle of the person you want to invite? In terms of usability, I think the latter is more useful for discord, but then you'd have to have a mapping discord handle -> github username (just like you do for channels/repos).
For this, would you pass in the github handle to the bot or the discord handle of the person you want to invite? In terms of usability, I think the latter is more useful for discord, but then you'd have to have a mapping
discord handle -> github username
(just like you do for channels/repos).