関連ワード:  git pull ignore a file    git pull ignore file permissions    git pull ignore file name too long    git pull ignore untracked files    git pull ignore one file    git pull ignore some files    git pull ignore local files    git pull ignore unmerged files    git pull ignore modified files    git pull ignore deleted files