Discord bot for piping issues from github [Requirement] PyGithub discord.py both can be installed via pip or conda (conda-forge) [setup] For github: you need to generate a token from your github account For discord: you need to get the bot token