... 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 <wander4...@gmail.com> 于2023年6月17日周六 04:09写道： > 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 <an...@apache.org> 于2023年6月17日周六 04:06写道： > >> Hi all, >> >> The greatest advantage of our merge script is the ability of >> backporting to other branches. >> >> The greatest disadvantage of our merge script is it closes the pull >> request (red color) instead of "merging" (purple color). >> >> We could replace the current pure git approach of merging the main >> commit and call a github API to squash-and-merge. Do you know about a >> good python lib for doing this? >> >> Andor >> >> >>
