[git] What is the precise meaning of "ours" and "theirs" in git?