Description
It doesn't look like there's a "revert" action in the API, you'd have to manually download and upload each file to create the commit manually.
But what if "reset --hard" was enough?
PATCH /repos/{owner}/{repo}/git/refs/heads/main
{
"sha": "<older_commit_sha>",
"force": true
}
Not sure if this is a common and acceptable enough feature to add. It should likely be limited to PRs, most likely in the Commits tab, and require manually typing "force" in a prompt() dialog.
Example URLs
https://github.com/refined-github/refined-github/pull/9668/commits
Description
It doesn't look like there's a "revert" action in the API, you'd have to manually download and upload each file to create the commit manually.
But what if "reset --hard" was enough?
Not sure if this is a common and acceptable enough feature to add. It should likely be limited to PRs, most likely in the Commits tab, and require manually typing "force" in a prompt() dialog.
Example URLs
https://github.com/refined-github/refined-github/pull/9668/commits