I have to get some changes from a developer. Because I do not want to perform manual merging I do:
git pull -s ours origin developers_branch
The problem is sometimes I need all changes in a particular file (i.e. to do merging if there are conflicts).
So the question is how to obtain all changes (ignoring emerging conflicts in my favor) except for a particular file.