git tips

git

Local and remote updates

local-pc: git reset --hard HEAD~33
local-pc: git push origin +HEAD:master
remote-pc: git reset --hard HEAD~33
remote-pc: git pull

Reset last push commit 

git push -f origin last_known_good_commit:branch_name

Remote all commit and set to current HEAD

git push origin +HEAD^:<branch>

Reset last commits local and remote

git reset --hard <commit>
git checkout -B <branch> origin/<branch>