git push after reset hard code example

Example: git reset head force push

git reset --soft HEAD~3 &&
git commit
git push —force-with-lease origin