get-pull-request-files ( owner repo pr-number -- seq )


Vocabulary
github

Inputs
owneran object
repoan object
pr-numberan object


Outputs
seqan object


Definition


: get-pull-request-files ( owner repo pr-number -- seq )
"/repos/%s/%s/pulls/%d/files" sprintf github-get-json ;