GitHubBuddy
nicologies
GitHubBuddy is your friend to help - Review pull request using your preferred native difftool e.g. BeyondCompare - Convert special text like JIRA-123 in pull request to hyperlink to JIRA - Disable the merge button if PR has a Do Not Merge label
