git reset --hard <last_working_commit_id>
So we must not reset to the commit_id that we don't want.
Then sure, we must push to remote branch:
git push --forcegit reset <previous label or sha1>
git commit -am "commit message"
git push -f <remote-name> <branch-name> // git push -f origin mastergit 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>
# ^^^^^^
# optionalgit reset <previous label or sha1>
git commit -am "blabla"
git push -f <remote-name> <branch-name>git reset # commitId
# Exemple
git reset 5310517