関連ワード:  git pull and discard local changes    git pull and ignore local changes    git pull and remove local changes    git pull and revert local changes    git pull and discard local commits    git pull and discard all local changes    git pull branch and discard local changes    git pull and remove local commits    git pull and ignore local commits    git pull from remote and discard local changes