git merge ours