question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Remove file from PR

See original GitHub issue

Issuehunt badges

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…

image

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


IssueHunt Summary

fregante fregante has been rewarded.

Backers (Total: $80.00)

Submitted pull Requests


Tips


IssueHunt has been backed by the following sponsors. Become a sponsor

Issue Analytics

  • State:closed
  • Created 4 years ago
  • Reactions:6
  • Comments:9 (5 by maintainers)

github_iconTop GitHub Comments

16reactions
fregantecommented, Apr 1, 2019

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 👍

0reactions
issuehunt-app[bot]commented, Aug 11, 2019

@sindresorhus has rewarded $72.00 to @fregante. See it on IssueHunt

  • 💰 Total deposit: $80.00
  • 🎉 Repository reward(0%): $0.00
  • 🔧 Service fee(10%): $8.00
Read more comments on GitHub >

github_iconTop Results From Across the Web

Remove a modified file from pull request - git - Stack Overflow
If the file change is simple and the PR is still open, just go to your branch, modify the file back to the...
Read more >
How to remove an updated file from a PR on GitHub - ffeathers
The instructions below assume that the unwanted updates are in a file that already exists in the GitHub repository. If the unwanted updates...
Read more >
How to Remove Modified or Changed Files from a Git Pull ...
How to Remove Modified or Changed Files from a Git Pull Request · Make sure you're on the source branch · Overwrite the...
Read more >
Removing files from a pull request | GitHub Changelog
Now, if you have write permission, you can click on the 'trash' icon for a file right in the pull request's “Files changed”...
Read more >
removing a specific file from a pull request
Check out on the branch that has your PR, replace the file with an unmodified version (of the same file) from a different...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found