Open EthanThatOneKid opened 1 year ago
Since Discord users have the option to share their GitHub usernames, we can utilize this data to implement this feature. This means we can leverage the existing connection between platforms without requiring any additional user input.
When users are mentioned on GitHub, they may wish to be pinged on Discord. To do this, a mapping between GitHub username and Discord tag must be passed as inputs in the Gitcord Workflow. Gitcord would use this mapping to automatically mention the GitHub user by their Discord tag (if provided) in Gitcord messages.