New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support merging of a pull request #887

Open

tobia80 opened this issue Nov 2, 2023 · 1 comment

Labels

enhancement good first issue

tobia80 commented Nov 2, 2023

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

fedefernandez added enhancement good first issue labels

Contributor

fedefernandez commented Nov 17, 2023 •

edited

Loading

@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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment