関連ワード:  git discard local modifications    git remove local modifications    git revert local modifications    git undo local modifications    git discard local changes    git discard local changes and pull from remote    git discard local changes to file    git discard local changes and pull    git discard local changes command    git discard local changes for a specific file