関連ワード:  git pull discard local branch    git pull delete local branches    git pull ignore local branch    git fetch delete local branches    does git pull delete local branches    git fetch prune delete local branch    git pull branch discard local changes    does git fetch delete local branches    git discard local branch and pull remote    git pull remote branch discard local changes