Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a GitHub PR source #821

Closed
nokome opened this issue Nov 11, 2020 · 1 comment
Closed

Add a GitHub PR source #821

nokome opened this issue Nov 11, 2020 · 1 comment
Assignees
@nokome
Labels
🏃 priority:stretch A stretch goal for the current sprint

Comments

@nokome
Copy link
Member

nokome commented Nov 11, 2020

This is a GitHub PR analogue of #820 (for Google Comments). We would fetch the body of the PR as the main content of the Review as well as the associated Comments.

The relevant GitHub docs are:

Requires #818.
@nokome nokome self-assigned this Nov 11, 2020
@nokome nokome added the 🏃 priority:stretch A stretch goal for the current sprint label Nov 11, 2020
@nokome nokome mentioned this issue Nov 12, 2020
Closed
@nokome
Copy link
Member Author

nokome commented Dec 1, 2020

Done in 758a883

@nokome nokome closed this as completed Dec 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nokome nokome

Labels
🏃 priority:stretch A stretch goal for the current sprint
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nokome