[git] HEAD and ORIG_HEAD in Git