How to git reset/push --force ?


I made a commit and push it

Next, I see - I made an error in my commit.

I run:

git reset HEAD~1

git push --force

My question - how I can do it using webstorm ?
I can do git reset by selecting from menu: git/reset head and type in dialog HEAD~1

But how I can do git push --force ?


but the force push button is not available after doing the steps mentioned above since no changes are detected in git log. An after pulling branch the state of the branch is the same as in beginning


It should we available if your branch is not marked as protected under Settings | Version Control | Git.

Can you share more details and screenshots?