The issue has been solved
Basically a duplicate of #1127.
Sometimes in a PR file changes slip in that you didn't intend. Maybe you didn't correctly stash, a commit hook made a formatting change, or some other thing happened.
The ultimate result is that you want to undo changes to a particular file in your PR. It'd be nice to have a button on the header of every file in the diff to revert that change.
Something like this...
<img width="1027" alt="image" src="https://user-images.githubusercontent.com/3087225/55346192-e6b96400-547f-11e9-90b7-031c9dc0d34e.png">
It seems like this was added in #1398, but it's no longer present or working now. At least not in the FF version of the plugin. GitHub added the trashcan icon to actually delete a file... heh, I almost did that >_>.
They’re different.
“Delete file” fully deletes the files, it’s a feature that was added by GitHub.
“Revert all changes in file” is a feature that would indeed be nice to have, arguably this is the only button PRs need 👍
@bfred-it I would be more than happy to contribute to this. Can you point me towards the starting point? Thanks!
Honestly I don’t know if there’s an easy way to do this, you’d have to look the API for reverting
Yeahhh... I was looking into this. It's definitely non-trivial.
I think the easiest way to is to follow this path:
- Get the base branch of the PR
- Use the contents api to grab the base version of the file
- Use the contents api to create a new commit of the file as it was at its original state.
posted by bfred-it about 6 years ago GitHub's api doesn't really expose higher level git actions like checkout. We could use the commit api to try to replicate this process, but I'm not sure how to go about doing that.
posted by bfred-it about 6 years ago 
posted by issuehunt-app[bot] almost 6 years ago @sindresorhus has rewarded $72.00 to @fregante. See it on IssueHunt
- :moneybag: Total deposit: $80.00
- :tada: Repository reward(0%): $0.00
- :wrench: Service fee(10%): $8.00
IssueHunt
