... and this is the related API endpoint
https://docs.github.com/en/rest/pulls/pulls?apiVersion=2022-11-28#merge-a-pull-request
Best,
tison.
tison 于2023年6月17日周六 04:09写道：
> For issuing GitHub API calls, I use https://github.com/yanyongyu/githubkit
> that generated from GitHub API definitions an
For issuing GitHub API calls, I use https://github.com/yanyongyu/githubkit
that generated from GitHub API definitions and the maintainer is active.
Best,
tison.
Andor Molnar 于2023年6月17日周六 04:06写道：
> Hi all,
>
> The greatest advantage of our merge script is the ability of
> backporting to other
