-
Notifications
You must be signed in to change notification settings - Fork 194
Feature/get pull request patch #325
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.
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
Conversation
This PR, among others, keeps me stuck in a fork. Assuming I update so that it applies cleanly is there anything else needed to get merged? |
@TomMD thanks for the ping. Yes, I'll go through the PRs and make new release, let's see if this applies cleanly as is. |
-- See <https://developer.github.com/v3/pulls/#get-a-single-pull-request> | ||
pullRequestDiffR :: Name Owner -> Name Repo -> Id PullRequest -> Request k ByteString | ||
pullRequestDiffR user repo prid = | ||
RawHeaderQuery |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
is this header still required?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ok. I see, we need this to get ByteString
. I'd prefer a concrete sum type for Diff
, Patch
and sha from https://developer.github.com/v3/media/#commits-commit-comparison-and-pull-requests
Superseded by #350 |
The patch target, much like the diff target, is accessible just by changing the header.