2024-04-20 04:03:59 发布
网友
我使用创建了一个pull请求
github_repo.create_pull(base='master', head=branch_name, title='title')
我似乎找不到如何关闭一个。你知道吗
参考PyGitHub代码:
https://github.com/PyGithub/PyGithub/blob/master/github/PullRequest.py#L495
以及github API:
https://developer.github.com/v3/pulls/#update-a-pull-request
我想说你想做什么
pr = ??? Code to get the PR you want ??? pr.edit(status="closed")
参考PyGitHub代码:
https://github.com/PyGithub/PyGithub/blob/master/github/PullRequest.py#L495
以及github API:
https://developer.github.com/v3/pulls/#update-a-pull-request
我想说你想做什么
相关问题 更多 >
编程相关推荐