I understand that a merge conflict arises when there are "competing" commits. In the situation where there is only one repo branch, and there are two contributors, both with write access, I suppose the merge conflict gets realized when the second commit tries to get pushed "over" the first one that involved a common file line.
How do we avoid this situation? Because my collaborator and I are rarely editing the same file, I have suggested that he just
git pull origin master
before he starts working on anything. However, he has reported this error:
error: You have not concluded your merge (MERGE_HEAD exists)
I ask because most explanations of merge conflicts involve appeals to branching and pull requests, and it might not be necessary to mention these to get an explanation.