Improved git alias. git reset --hard ORIG_HEAD