You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When you change something via the panel but don't want to push it you currently have to use the command line to drop the commit (e.g. via git reset --hard HEAD~1 to undo the last commit)
I think it would be a great addition to add either a "Restore from remote" button or better yet a "Drop commit" button for all commits that are not pushed yet.
I can provide a PR for that but I want to hear a little bit of feedback on this first
The text was updated successfully, but these errors were encountered:
I actually planned to integrate something like this. Dropping a commit might need to make it more complicated as you need to check if you only revert commits that have not been pushed to remote yet or you need to allow force push to remote. So just reverting to the remote HEAD might be easier.
When you change something via the panel but don't want to push it you currently have to use the command line to drop the commit (e.g. via
git reset --hard HEAD~1
to undo the last commit)I think it would be a great addition to add either a "Restore from remote" button or better yet a "Drop commit" button for all commits that are not pushed yet.
I can provide a PR for that but I want to hear a little bit of feedback on this first
The text was updated successfully, but these errors were encountered: