IssueBot A simple IRC bot that resolves Github Issues and PRs to links - for use in #godotengine-devel