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