get-pull-request-files-old-new ( owner repo pr-number -- pr pr-files old new )


Vocabulary
github

Inputs
owneran object
repoan object
pr-numberan object


Outputs
pran object
pr-filesan object
oldan object
newan object


Definition