Replies: 2 comments 4 replies
-
Hi @jackfurr - Did you find a way to do this? I'd also like to be able to revert merged PRs, but in my use case it isn't necessarily safe to create a new pr with the second to last commit in the commit tree. |
Beta Was this translation helpful? Give feedback.
3 replies
-
Interestingly, there is now an API for this https://github.blog/changelog/2023-01-27-api-for-reverting-a-pull-request/ |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I can not figure out how to revert a merged PR. can get information about the PR by calling
repo.get_pull(pr_number)
, but then what. I could not find a way to revert a merged PR.Beta Was this translation helpful? Give feedback.
All reactions