関連ワード:  git set head to previous commit and push    git revert to commit and push    git difference between commit and commit and push    git make head point to commit  
結果 : git set head to commit and push