git How to recover after an accidental git reset --hard Quickly squash your changes on the last commit How to mirror a git repo in another