GH bot for Jira integration, checking Jira is mentioned in PRs, linking PRs to Jira, and setting Fix version - View it on GitHub