Set up Discord GitHub bot

[audreyfeldroy]

• Find a Discord bot that can post updates to https://discord.gg/TYNuHfEj every time a PR or issue is created
• Ask @audreyfeldroy to give you whatever Discord role(s) you need to install the bot into the HistoryAIToolkit Discord server

[ZoePosnette]

https://gist.github.com/jagrosh/5b1761213e33fc5b54ec7f6379034a22
https://github.com/Falconerd/discord-bot-github
https://dev.to/inezabonte/how-to-get-github-notifications-on-your-discord-server-2j9o

Found these three- would a webhook work for this?

[RalphHuber]

@ZoePosnette are you still looking at this? otherwise I'll pick it up

[ZoePosnette]

@RalphHuber I've never dabbled making a discord bot work before- the above were the results of a quick Google, so by all means take this one if you want!

[RalphHuber]

No worries, I actually haven't either, so I shall tell you what I find!

[RalphHuber]

@ZoePosnette looking into this a little bit, I think, as you said, a web-hook would probably be the easiest way to get this working.

found an article that goes through it: https://dev.to/inezabonte/how-to-get-github-notifications-on-your-discord-server-2j9o

the only extra thing we'd have to is narrow down what the notifications are, and thats mentioned in the comments