[User Story] As a user, I want a command that stores user's GitHub usernames to that users are easily identifiable

Code2Gether-Discord / Code2Gether-Discord-Bot

A Discord bot for the Code2Gether server

3 stars 1 forks source link

[User Story] As a user, I want a command that stores user's GitHub usernames to that users are easily identifiable #25

Closed nickmartin1ee7 closed 3 years ago

nickmartin1ee7 commented 3 years ago

Given... A user exists on the server that is in the GitHub Organization

When... The current user sends the command "c!finduser @DiscordUser"

Then... Reply with the Discord User's GitHub username

nickmartin1ee7 commented 3 years ago

Based off of #15

nickmartin1ee7 commented 3 years ago

@DonSagiv We might actually be able to use GitHub for a lot of this functionality. We may need to discuss if the WebAPI is even needed as an alternate approach.