git reset <previous label or sha1> git commit -am "blabla" git push -f <remote-name> <branch-name>
git reset <previous label or sha1> git commit -am "commit message" git push -f <remote-name> <branch-name> // git push -f origin master
git reset # commitId # Exemple git reset 5310517
git revert <commit_hash>
To reset a brancj to some good commit: In the server, move the cursor back to the last known good commit: git push -f origin <last_known_good_commit>:<branch_name> Locally, do the same: git reset --hard <last_known_good_commit> # ^^^^^^ # optional