Closed tboogh closed 1 year ago
This PR implements updating a pull request.
https://docs.github.com/en/rest/pulls/pulls#update-a-pull-request
@pietbrauer I pushed an update to fix the lint error
Thanks a lot!
This PR implements updating a pull request.
https://docs.github.com/en/rest/pulls/pulls#update-a-pull-request