GitBot

A Discord bot that allows you to view GitHub information,
merge and close PRs, open and close issues, etc. all from Discord.