I undid an attempted merge conflict using git checkout -m <<filename>>
and was surprised to see the conflicts listed as:
<<<<<<< ours
-------
>>>>>>> theirs
instead of:
<<<<<<< HEAD
-------
>>>>>>> branch
Is there a global setting that controls this?