Add onebox for GitHub pull requests