derdesign

# To undo a git push
git push -f origin HEAD^:master

# To get to previous commit (preserves working tree)
git reset --soft HEAD

# To get back to previous commit (you'll lose working tree)
git reset --hard HEAD^

# To get back to a specific commit