Handbook
Glossary
pull-request-merged? ( owner repo n -- res )
Vocabulary
github
Inputs
owner
an
object
repo
an
object
n
an
object
Outputs
res
an
object
Definition
USING:
formatting
;
IN:
github
:
pull-request-merged?
( owner repo n -- res )
"/repos/%s/%s/pulls/%d/merge"
sprintf
github-get-json
;