Repository navigation
pull request merge #278
Description
is there a method to merge a pull request?
(if not, would you be interested on adding it?)
https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
is there a method to merge a pull request?
(if not, would you be interested on adding it?)
https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
Activity
AurelioDeRosa commentedon Jan 20, 2016
Hi @benjamine.
We don't have such method but we're interested in adding it. Would you mind submit a PR?
benjamine commentedon Jan 20, 2016
cool, yes, I'll give it a try
AurelioDeRosa commentedon Jan 21, 2016
FYI, in case you want this plus some other method , you can take a look at this project of mine called GitHub Extended
benjamine commentedon Jan 21, 2016
oh interesting, already sent the PR to add it here, but I'll take a look.