関連ワード:  git ignore local changes pull    git discard local changes pull from remote    git discard local changes pull    git ignore local changes and pull from remote    github ignore local changes and pull    git ignore local commits and pull from remote    git ignore local commits and pull    git discard local changes and pull from origin    git disregard local changes and pull    git discard local changes before pull