github4s icon indicating copy to clipboard operation
github4s copied to clipboard

Support merging of a pull request

Open tobia80 opened this issue 1 year ago • 1 comments

Does the library provide support for merging a pull request? https://docs.github.com/en/rest/pulls/pulls?apiVersion=2022-11-28#merge-a-pull-request

tobia80 avatar Nov 02 '23 13:11 tobia80

@tobia80, not from what I can see in PullRequests.scala.

#818 and #811 are good examples of how to add new endpoints in case someone wants to contribute.

fedefernandez avatar Nov 17 '23 09:11 fedefernandez